Date: 2014-06-28 10:09:38

Gundersen, T., Heijltjes, W. and Parigot, MAtomic lambda-calculus : A typed lambda-calculus with explicit sharing. In: Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, pp. 31

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 335,30 KB