Gilles Kahn - researchr alias

researchr

You are not signed in
Sign in
Sign up

1995

Extracting Text from ProofsYann Coscoy, Gilles Kahn, Laurent Théry. tlca 1995: 109-123

1994

Proof by PointingYves Bertot, Gilles Kahn, Laurent Théry. tacs 1994: 141-160

PrefaceGilles Kahn. iandc, 110(2), May 1994.

1993

Concrete DomainsGilles Kahn, Gordon D. Plotkin. TCS, 121(1&2):187-277, 1993.

1989

CENTAUR: Towards a Software Tool Box for Programming EnvironmentsDominique Clément, Janet Incerpi, Gilles Kahn. see 1990: 287-304

1988

CENTAUR: The SystemPatrick Borras, Dominique Cl{\'e}ment, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, V. Pascual. SDE 1988: 14-24

1987

Natural SemanticsGilles Kahn. STACS 1987: 22-39

Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, ProceedingsGilles Kahn, editor, Volume 274 of Lecture Notes in Computer Science, Springer, 1987.

1986

A Simple Applicative Language: Mini-MLDominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn. lfp 1986: 13-27

1984

Documents Structure and Modularity in MentorVéronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese. SDE 1984: 141-148

Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, ProceedingsGilles Kahn, David B. MacQueen, Gordon D. Plotkin, editors, Volume 173 of Lecture Notes in Computer Science, Springer, 1984.

1983

Outline of a Tool for Document ManipulationVéronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos. ifip 1983: 615-620

Metal: A Formalism to Specify FormalismsGilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos. SCP, 3(2):151-188, 1983.

1980

On the formal definition of ADAVéronique Donzeau-Gouge, Gilles Kahn, Bernard Lang. CC 1980: 475-489

1979

Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979Gilles Kahn, editor, Volume 70 of Lecture Notes in Computer Science, Springer, 1979.

1977

Coroutines and Networks of Parallel ProcessesGilles Kahn, David B. MacQueen. ifip11-9 1977: 993-998

1974

Algorithmes d equivalence et de reduction a des expressions minimales dans une classe d equations recursives simplesBruno Courcelle, Gilles Kahn, Jean Vuillemin. icalp 1974: 200-213

The Semantics of Simple Language for Parallel ProgrammingGilles Kahn. ifip 1974: 471-475

1971

An Approach to System CorrectnessGilles Kahn. sosp 1971: 86-94