Towards a typed geometry of interaction (2005)

by Esfandiar Haghverdi , Philip J. Scott
Citations:4 - 1 self

Document Versions

Towards a typed geometry of interaction –Esfandiar Haghverdi, Philip J. Scott — 2005
Towards a Typed Geometry of Interaction –Esfandiar Haghverdi, Philip Scott — 2010 — UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
Towards a typed geometry of interaction –Iar Haghverdi, Philip J. Scott — 2005