Functorial operational semantics and its denotational dual (1996)

by D Turi
Venue:Free University