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 German National Library

Gilles Kahn Wikidata ISNI

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

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

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

  • 500 1 _ ‎‡a  Bertot, Yves‏ ‎‡d  1964-....) ISNI
  • 500 1 _ ‎‡a  Huet, Gérard‏ ‎‡d  1947-....; informaticien) ISNI
  • 500 1 _ ‎‡a  Kahn, Gilles ISNI
  • 500 1 0 ‎‡a  Kahn, Gilles Library of Congress/NACO
  • 500 1 _ ‎‡a  Lombard, Didier‏ ‎‡d  1942-....) ISNI
  • 500 1 _ ‎‡a  MacQueen, D. B.‏ ‎‡d  1946- ISNI
  • 500 1 _ ‎‡a  MacQueen, David B.‏ ‎‡d  1946-....) ISNI
  • 500 1 _ ‎‡a  Plotkin, G.‏ ‎‡d  1946- ) ISNI
  • 500 1 _ ‎‡a  Plotkin, Gordon‏ ‎‡d  1946-....) ISNI

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
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 National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO 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 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 / 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. Library of Congress/NACO 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 Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of Poland
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 (8)

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