Operational and Denotational Semantics of PCF. Notes Series: BRICS-NS-99-51, BRICS (1999)

by C-H L Ong
Venue:University of Aarhus