Natural semantics (1987)

by G Kahn
Venue:Annual Symposium on Theoretical Aspects of Computer Science