G. Kahn

Books

Proof by Pointing

Yves Bertot, G. Kahn, Laurent Théry

Semantics of Data Types

G. Plotkin, G. Kahn, D.B. MacQueen

Your next favorite book is out there

Track your reading, share the passages worth remembering, and get recommendations from people you trust — not algorithms. Independent, free, and no ads.

... or sign up right here