An Approach to System Correctness. - Gilles Kahn (SOSP, 1971)

Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples. - Bruno Courcelle; Gilles Kahn; Jean Vuillemin (ICALP, 1974)

The Semantics of a Simple Language for Parallel Programming. - Gilles Kahn (IFIP Congress, 1974)

Coroutines and Networks of Parallel Processes. - Gilles Kahn; David B. MacQueen (IFIP Congress, 1977)

On the formal definition of ADA. - Véronique Donzeau-Gouge; Gilles Kahn; Bernard Lang (Semantics-Directed Compiler Generation, 1980)

Outline of a Tool for Document Manipulation. - Véronique Donzeau-Gouge; Gilles Kahn; Bernard Lang; Bertrand Melese; Elham Morcos (IFIP Congress, 1983)

Metal: A Formalism to Specify Formalisms. - Gilles Kahn; Bernard Lang; Bertrand Melese; Elham Morcos (Sci. Comput. Program., 1983)

Documents Structure and Modularity in Mentor. - Véronique Donzeau-Gouge; Gilles Kahn; Bernard Lang; Bertrand Melese (Software Development Environments (SDE), 1984)

A Simple Applicative Language: Mini-ML. - Dominique Clément; Joëlle Despeyroux; Th. Despeyroux; Gilles Kahn (LISP and Functional Programming, 1986)

Natural Semantics. - Gilles Kahn (STACS, 1987)

CENTAUR: The System. - Patrick Borras; Dominique Clément; Th. Despeyroux; Janet Incerpi; Gilles Kahn; Bernard Lang; V. Pascual (Software Development Environments (SDE), 1988)

CENTAUR: Towards a "Software Tool Box" for Programming Environments. - Dominique Clément; Janet Incerpi; Gilles Kahn (SEE, 1989)

Real theorem provers deserve real user-interfaces. - Laurent Théry; Yves Bertot; Gilles Kahn (SDE, 1992)

Concrete Domains. - Gilles Kahn; Gordon D. Plotkin (Theor. Comput. Sci., 1993)

Proof by Pointing. - Yves Bertot; Gilles Kahn; Laurent Théry (TACS, 1994)

Preface - Gilles Kahn (Inf. Comput., 1994)

Extracting Text from Proofs. - Yann Coscoy; Gilles Kahn; Laurent Théry (TLCA, 1995)