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.

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

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

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

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

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

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

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

## The Atomic Lambda-Mu Calculus

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

Student thesis: Doctoral Thesis › PhD