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.

- 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 2019

### Intuitionistic proofs without syntax

Heijltjes, W., Hughes, D. & Strassburger, L., 6 Aug 2019,*LICS '19: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science.*IEEE, Vol. 2019.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

### 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)

### 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

4
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

## Thesis

## The Atomic Lambda-Mu Calculus

Author: He, F., 29 May 2018Supervisor: Heijltjes, W. (Supervisor) & McCusker, G. (Supervisor)

Student thesis: Doctoral Thesis › PhD

File