Research

Items by Heijltjes, Willem

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2013 | 2012 | 2011 | 2010
Number of items: 5.

2013

Gundersen, T., Heijltjes, W. and Parigot, M., 2013. Atomic 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. 311-320.

Gundersen, T., Heijltjes, W. and Parigot, M., 2013. A proof of strong normalisation of the typed atomic lambda-calculus. In: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR). Heidelberg, Germany: Springer, pp. 340-354. (Lecture Notes in Computer Science; 8312)

2012

Heijltjes, W., 2012. Graphical Representation of Canonical Proof: Two Case Studies. Thesis (Doctor of Philosophy (PhD)). University of Edinburgh.

2011

Heijltjes, W., 2011. Proof nets for additive linear logic with units. In: 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE, pp. 207-216.

2010

Heijltjes, W., 2010. Classical proof forestry. Annals of Pure and Applied Logic, 161 (11), 1346–1366.

This list was generated on Wed Apr 16 11:11:19 2014 IST.