G. Kahn

No bio available. Add one in Open Library.

Books by G. Kahn (50 max)

+ shelf+ list

Construction, amélioration et vérification de programmes =: Proving and improving programs

1975

G. Huet, G. Kahn

+ shelf+ list

Coroutines and networks of parallel processes

1976

G. Kahn

+ shelf+ list

Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979 (Lecture Notes in Computer Science)

1979

G. Kahn

+ shelf+ list

Semantics of data types: international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings

1984

G. Kahn, G. Plotkin

+ shelf+ list

Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987: proceedings

1987

G. Kahn