Concepedia

Willem Heijltjes

WH

5

Publications

79

Citations

5

H-Index

2010

Active since

Affiliations

University of Bath(Current)

Willem Heijltjes is an author at University of Bath specializing in automated reasoning, formal methods, and engineering.

ORCID

Top concepts

Publications per year

2010–2019

5

Publications

5

No proof nets for MLL with units

Willem Heijltjes, Robin Houston · 2014 · 23 citations

, , +12

Classical proof forestry

Willem Heijltjes · Annals of Pure and Applied Logic · 2010 · 20 citations · Full text

, , +3

Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing

Tom Gundersen, Willem Heijltjes, Michel Parigot · 2013 · 14 citations

, , +13

Proof equivalence in MLL is PSPACE-complete

Willem Heijltjes, Robin Houston · Logical Methods in Computer Science · 2016 · 11 citations · Full text

Intuitionistic proofs without syntax

Willem Heijltjes, Dominic J. D. Hughes, Lutz Straβburger · 2019 · 11 citations · Full text

, , +15

Rows per page

1–5 of 5