From Geometry of Interaction to Denotational Semantics (2004)

by E Haghverdi, P J Scott
Venue:Proceedings of CTCS2004. In ENTCS