Projects per year
Personal profile
Research interests
My research is in the area of logic and proof theory, and has focused on canonical graphical representations of proof, commonly known as proof nets.
Fingerprint Dive into the research topics where Willem Heijltjes is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Proof Nets
Mathematics
Linear Logic
Mathematics
Multiplicative
Mathematics
Unit
Mathematics
Logic
Mathematics
Intuitionistic Logic
Mathematics
Equivalence
Mathematics
Strong Normalization
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2019 2021
- 1 Active
Typed Lambda-Calculi with Sharing and Unsharing
Engineering and Physical Sciences Research Council
1/01/19 → 31/12/21
Project: Research council
Research Output 2010 2019
1
Citation
(Scopus)
6
Downloads
(Pure)
Intuitionistic proofs without syntax
Heijltjes, W., Hughes, D. & Strassburger, L., 6 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. IEEE, Vol. 2019. 13 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2019-June).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
9
Downloads
(Pure)
Proof nets for first-order additive linear logic
Heijltjes, W., Hughes, D. & Strassburger, L., 18 Jun 2019, Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019). Geuvers, H. & Geuvers, H. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 131. p. 22:1-22:22 22 p. 22. (Leibnitz International Proceedings in Informatics; vol. 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
1
Citation
(Scopus)
17
Downloads
(Pure)
Proof nets for bi-intuitionistic linear logic
Bellin, G. & Heijltjes, W., 1 Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018: Leibnitz International proceedings in Informatics. Kirchner, H. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 108. p. 1-17 17 p. 10. (Leibniz International Proceedings in Informations (LIPIcs)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
Proof Nets
Linear Logic
Intuitionistic Logic
Correctness
Tensor
5
Citations
(Scopus)
64
Downloads
(Pure)
Conflict nets: efficient locally canonical MALL proof nets
Hughes, D. & Heijltjes, W., 2 Jul 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016. New York, U. S. A.: Association for Computing Machinery, p. 437-446 10 p. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
Proof Nets
Linear Logic
Multiplicative
Unit
Conflict
2
Citations
(Scopus)
43
Downloads
(Pure)
Proof equivalence in MLL is PSPACE-complete
Heijltjes, W. & Houston, R., 2 Mar 2016, In : Logical Methods in Computer Science. 12, 1, p. 1-34 34 p.Research output: Contribution to journal › Article
Open Access
Hardness
Equivalence
Proof Nets
Unit
Linear Logic
Thesis
A lambda-calculus that achieves full laziness with spine duplication
Author: Sherratt, D., 4 Sep 2019Supervisor: Guglielmi, A. (Supervisor) & Heijltjes, W. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
The Atomic Lambda-Mu Calculus
Author: He, F., 29 May 2018Supervisor: Heijltjes, W. (Supervisor) & McCusker, G. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File