| 1995 |
|---|
| 19 | | Yann Coscoy,
Gilles Kahn,
Laurent Théry:
Extracting Text from Proofs.
TLCA 1995: 109-123 |
| 1994 |
|---|
| 18 | | Yves Bertot,
Gilles Kahn,
Laurent Théry:
Proof by Pointing.
TACS 1994: 141-160 |
| 17 | | Gilles Kahn:
Preface
Inf. Comput. 110(2): iii (1994) |
| 1993 |
|---|
| 16 | | Gilles Kahn,
Gordon D. Plotkin:
Concrete Domains.
Theor. Comput. Sci. 121(1&2): 187-277 (1993) |
| 1989 |
|---|
| 15 | | Dominique Clément,
Janet Incerpi,
Gilles Kahn:
CENTAUR: Towards a "Software Tool Box" for Programming Environments.
SEE 1989: 287-304 |
| 1988 |
|---|
| 14 | | Patrick Borras,
Dominique Clément,
Th. Despeyroux,
Janet Incerpi,
Gilles Kahn,
Bernard Lang,
V. Pascual:
CENTAUR: The System.
Software Development Environments (SDE) 1988: 14-24 |
| 1987 |
|---|
| 13 | | Gilles Kahn:
Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings
Springer 1987 |
| 12 | | Gilles Kahn:
Natural Semantics.
STACS 1987: 22-39 |
| 1986 |
|---|
| 11 | | Dominique Clément,
Joëlle Despeyroux,
Th. Despeyroux,
Gilles Kahn:
A Simple Applicative Language: Mini-ML.
LISP and Functional Programming 1986: 13-27 |
| 1984 |
|---|
| 10 | | Gilles Kahn,
David B. MacQueen,
Gordon D. Plotkin:
Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings
Springer 1984 |
| 9 | | Véronique Donzeau-Gouge,
Gilles Kahn,
Bernard Lang,
Bertrand Melese:
Documents Structure and Modularity in Mentor.
Software Development Environments (SDE) 1984: 141-148 |
| 1983 |
|---|
| 8 | | Véronique Donzeau-Gouge,
Gilles Kahn,
Bernard Lang,
Bertrand Melese,
Elham Morcos:
Outline of a Tool for Document Manipulation.
IFIP Congress 1983: 615-620 |
| 7 | | Gilles Kahn,
Bernard Lang,
Bertrand Melese,
Elham Morcos:
Metal: A Formalism to Specify Formalisms.
Sci. Comput. Program. 3(2): 151-188 (1983) |
| 1980 |
|---|
| 6 | | Véronique Donzeau-Gouge,
Gilles Kahn,
Bernard Lang:
On the formal definition of ADA.
Semantics-Directed Compiler Generation 1980: 475-489 |
| 1979 |
|---|
| 5 | | Gilles Kahn:
Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979
Springer 1979 |
| 1977 |
|---|
| 4 | | Gilles Kahn,
David B. MacQueen:
Coroutines and Networks of Parallel Processes.
IFIP Congress 1977: 993-998 |
| 1974 |
|---|
| 3 | | Bruno Courcelle,
Gilles Kahn,
Jean Vuillemin:
Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples.
ICALP 1974: 200-213 |
| 2 | | Gilles Kahn:
The Semantics of Simple Language for Parallel Programming.
IFIP Congress 1974: 471-475 |
| 1971 |
|---|
| 1 | | Gilles Kahn:
An Approach to System Correctness.
SOSP 1971: 86-94 |
