VIAF

Virtual International Authority File

Search

Kahn, G. Library of Congress/NACO

Kahn, Gilles, 1946-2006 National Library of the Netherlands Sudoc [ABES], France National Library of France

Kahn, Gilles. NUKAT Center of Warsaw University Library National Library of Poland ISNI

Gilles Kahn Wikidata

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 (8)

Open Section Close Section 5xx's: Related Names (9)

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
Construction, amélioration de programmes Sudoc [ABES], France National Library of France
Coroutines and networks of parallel processes National Library of France Library of Congress/NACO
Domaines concrets Sudoc [ABES], France
From semantics to computer science : essays in honour of Gilles Kahn National Library of the Netherlands
Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
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 Library of Congress/NACO
recherche et développement, clé d'un nouvel essor des télécommunications en France Sudoc [ABES], France National Library of France
Semantics of concurrent computation 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 Library of Congress/NACO
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings NUKAT Center of Warsaw University Library National Library of Poland Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

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