Towards a typed geometry of interaction (2005)

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