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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
- 1 Similar Profiles
Proof Nets
Mathematics
Linear Logic
Mathematics
Multiplicative
Mathematics
Unit
Mathematics
Lambda Calculus
Mathematics
Strong Normalization
Mathematics
Logic
Mathematics
Equivalence
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2019 2021
- 1 Active
Research Output 2010 2018
1
Citation
(Scopus)
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. 10Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
Proof Nets
Linear Logic
Intuitionistic Logic
Correctness
Tensor
2
Citations
(Scopus)
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)
Proof equivalence in MLL is PSPACE-complete
Heijltjes, W. & Houston, R., 2 Mar 2016, In : Logical Methods in Computer Science. 12, 1Research output: Contribution to journal › Article
Open Access
File
Hardness
Equivalence
Proof Nets
Unit
Linear Logic
Proof nets and semi-*-autonomous categories
Heijltjes, W. & Strassburger, L., 1 Jun 2016, In : Mathematical Structures in Computer Science. 26, 5, p. 789-828 40 p.Research output: Contribution to journal › Article
Proof Nets
Linear Logic
Stars
Star
Multiplicative
3
Citations
(Scopus)
Complexity bounds for sum-product logic via additive proof nets and Petri nets
Heijltjes, W. & Hughes, D., 2015, Proceedings of the 30th ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015. IEEE, p. 80-91 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
File
Proof Nets
Petri Nets
Linear Logic
Logic
Proof Search
Thesis
The Atomic Lambda-Mu Calculus
Author: He, F., 29 May 2018Supervisor: Heijltjes, W. (Supervisor) & McCusker, G. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File