VIAF

Virtual International Authority File

Search

Kahn, Gilles, 1946-2006 German National Library National Library of the Netherlands National Library of France NUKAT Center of Warsaw University Library Sudoc [ABES], France

Gilles Kahn Wikidata ISNI

Kahn, Gilles National Library of Poland Library of Congress/NACO

VIAF ID: 9967954 (Personal)

Permalink: http://viaf.org/viaf/9967954

ISNI: 0000  0001  1593  3717 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (10)

Open Section Close SectionWorks

Title Sources
Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples National Library of France
Compiling typol programs with attribute grammars. Sudoc [ABES], France
Coroutines and networks of parallel processes National Library of France
Domaines concrets Sudoc [ABES], France
From semantics to computer science : essays in honour of Gilles Kahn National Library of the Netherlands Library of Congress/NACO
Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings National Library of the Netherlands Sudoc [ABES], France NUKAT Center of Warsaw University Library
informatique le logiciel National Library of France
Manuel d'utilisation FLIP = user's manual Sudoc [ABES], France
Preliminary theory for parallel programs National Library of France
Proof presentationfor calculus of inductive constructions. Sudoc [ABES], France
Proving and improving programs Sudoc [ABES], France National Library of France
La recherche et développement, clé d'un nouvel essor des télécommunications en France / [étude réalisée à la demande du Ministère de la poste, des télécommunications et de l'espace] ; [et du Secrétariat d'État à la recherche] ; rapport et propositions Didier Lombard, Gilles Kahn, 1996 Sudoc [ABES], France National Library of France
La sécurité sur les chantiers du bâtiment, 1988: Library of Congress/NACO
Semantics of concurrent computation / Gilles Kahn. - Berlin, 1979. NUKAT Center of Warsaw University Library
Semantics of data types / ed. by G. Kahn, D. B. MacQueen and G. Plotkin. - Berlin [etc.], 1984. National Library of Poland
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings National Library of the Netherlands Sudoc [ABES], France National Library of Poland NUKAT Center of Warsaw University Library
Spécifications sémantiques dans le système mentor Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (9)

Open Section Close Section History of VIAF ID:9967954 (13)