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. 10

Research 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