Dr Willem Heijltjes
Profile
Research Interests
I investigate the nature of formal proof, in search of geometric representations that capture its essence. Such objects, often called `proof nets´, enable a deep understanding of logic, of fundamental structures in category theory, and of the foundational aspects of computation
Publications
Gundersen, T., Heijltjes, W. and Parigot, M., 2013. Forthcoming. 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.
Heijltjes, W., 2012. Graphical Representation of Canonical Proof: Two Case Studies. Thesis (Doctor of Philosophy (PhD)). University of Edinburgh.
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.
Heijltjes, W., 2010. Classical proof forestry. Annals of Pure and Applied Logic, 161 (11), 1346–1366.
