Geometry of Interaction to Denotational Semantics (0)

by From
Venue:Proceedings of CTCS2004. In ENTCS