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
Number of items: 9.

Articles

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

Heijltjes, W. and Strassburger, L., 2014. Proof nets and semi-*-autonomous categories. Mathematical Structures in Computer Science, FirstView.

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

Conference or Workshop Items

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. (Lecture Notes in Computer Science; 8312)

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.

Thesis

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

This list was generated on Sun May 1 20:09:23 2016 IST.