Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000115933717 | 1 hits
Person
ISNI: 
0000 0001 1593 3717
Name: 
Kahn, G.
Kahn, Gilles
Dates: 
1946-2006
Creation class: 
Language material
Musical sound recording
Text
Creation role: 
author
editor
redactor
Related names: 
Bertot, Yves (1964-....))
Huet, Gérard (1947-.... informaticien)
International Symposium on Semantics of Concurrent Computation (1979 ; Evian)
International Symposium on Semantics of Concurrent Computation (1979 : Évian-les-Bains, France)
Kahn, Gilles (see also from)
Lombard, Didier
MacQueen, D. B. (1946-)
MacQueen, David B. (1946-....))
MacQueen, David B. (1946-)
Plotkin, G. (1946- ))
Plotkin, Gordon (1946-....))
Titles: 
Construction, amélioration de programmes
Coroutines and networks of parallel processes
Domaines concrets
From semantics to computer science : essays in honour of Gilles Kahn
Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings
Manuel d'utilisation FLIP
Proof presentationfor calculus of inductive constructions.
Proving and improving programs
recherche et développement, clé d'un nouvel essor des télécommunications en France, La
Semantics of concurrent computation
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings
Notes: 
Sources: 
VIAF LC NLP NTA NUKAT SUDOC WKP