Towards a typed geometry of interaction (2005)

by Esfandiar Haghverdi, Philip J. Scott