Department of Computer Science
 

Lecturer

1 West 4.67

Dept of Computer Science

Email: w.b.heijltjes@bath.ac.uk

Personal page

 

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

Hughes, D. and Heijltjes, W., 2016. Conflict nets:efficient locally canonical MALL proof nets. In: 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, 2016-07-05 - 2016-07-08. New York, U. S. A.: ACM, pp. 437-446.

Heijltjes, W. and Strassburger, L., 2016. Proof nets and semi-*-autonomous categories. Mathematical Structures in Computer Science, 26 (5), pp. 789-828.

Heijltjes, W. and Houston, R., 2016. Proof equivalence in MLL is PSPACE-complete. Logical Methods in Computer Science, 12 (1).

Heijltjes, W. and Hughes, D., 2015. Complexity bounds for sum-product logic via additive proof nets and Petri nets. In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015, 2015-07-06 - 2015-07-10. IEEE, pp. 80-91.

Heijltjes, W. and Houston, R., 2014. No proof nets for MLL with units:Proof equivalence in MLL is PSPACE-complete. In: Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, 2014-07-14 - 2014-07-18. New York: ACM.

Gundersen, T., Heijltjes, W. and Parigot, M., 2013. Atomic lambda-calculus:A typed lambda-calculus with explicit sharing. In: Twenty-Eighth Annucal ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), 2013-06-24 - 2013-06-27. IEEE, pp. 311-320.

Gundersen, T., Heijltjes, W. and Parigot, M., 2013. A proof of strong normalisation of the typed atomic lambda-calculus. In: LPAR: International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2013-11-15. Heidelberg, Germany: Springer, pp. 340-354.

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: 26th Annual IEEE Symposium on Logic in Computer Science, 2011-06-20 - 2011-06-23. IEEE, pp. 207-216.

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

This list was generated on Fri Oct 20 05:21:32 2017 IST.

View more publications »