Functorial Operational Semantics and its Denotational Dual (1996)

by D Turi