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 - IEEE Symposium on Logic in Computer Science - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Add to Reading List Document Date: 2014-06-28 10:09:38 Open Document File Size: 335,30 KB Share Result on Facebook

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. 31Add to Reading List