The geometry of interaction machine

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199483 ◽

1995 ◽

Cited By ~ 46

Author(s):

Ian Mackie

Download Full-text