Esfandiar Haghverdi Philip J. Scott Towards a Typed Geometry of Interaction. 216-231 2005 conf/csl/2005 CSL http://dx.doi.org/10.1007/11538363_16 db/conf/csl/csl2005.html#HaghverdiS05