The strength of non-size increasing computation

Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 ◽

10.1145/503272.503297 ◽

2002 ◽

Cited By ~ 18

Author(s):

Martin Hofmann

Download Full-text