Willem B. Heijltjes

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 3

Top Topics

Operational Semantics

Sequent Calculus

Definition Language

Top Venues

Publications

Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
Normalization Without Syntax. FSCD (2022)
Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus
A Deep Quantitative Type System. CSL (2021)
Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
Intuitionistic proofs without syntax. LICS (2019)