Natural semantics (1987)

by G Kahn
Venue:STACS