Atomic lambda calculus: A typed lambda-calculus with explicit sharing T Gundersen, W Heijltjes, M Parigot 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 311-320, 2013 | 41 | 2013 |
No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete W Heijltjes, R Houston Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 32 | 2014 |
Classical proof forestry W Heijltjes Annals of Pure and Applied Logic 161 (11), 1346-1366, 2010 | 32 | 2010 |
Intuitionistic proofs without syntax WB Heijltjes, DJD Hughes, L StraBburger 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019 | 23* | 2019 |
Conflict nets: Efficient locally canonical MALL proof nets D Hughes, W Heijltjes Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 19 | 2016 |
Decomposing Probabilistic Lambda-Calculi. U Dal Lago, G Guerrieri, W Heijltjes FoSSaCS 20, 136-156, 2020 | 18 | 2020 |
Proof nets for additive linear logic with units W Heijltjes 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 207-216, 2011 | 14 | 2011 |
Proof equivalence in MLL is PSPACE-complete W Heijltjes, R Houston Logical Methods in Computer Science 12, 2016 | 12 | 2016 |
Proof nets and semi-star-autonomous categories W Heijltjes, L Straßburger Mathematical Structures in Computer Science 26 (5), 789-828, 2016 | 11 | 2016 |
A proof of strong normalisation of the typed atomic lambda-calculus T Gundersen, W Heijltjes, M Parigot Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 10 | 2013 |
Complexity bounds for sum-product logic via additive proof nets and petri nets W Heijltjes, DJD Hughes 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 80-91, 2015 | 9 | 2015 |
The Functional Machine Calculus II: Semantics C Barrett, W Heijltjes, G McCusker arXiv preprint arXiv:2211.13140, 2022 | 6 | 2022 |
Proof nets for first-order additive linear logic W Heijltjes, DJD Hughes, L Straßburger Inria, 2018 | 5 | 2018 |
Proof nets for bi-intuitionistic linear logic G Bellin, W Heijltjes 3rd International Conference on Formal Structures for Computation and …, 2018 | 5 | 2018 |
No proof nets for MLL with units W Heijltjes, R Houston Proceedings of CSL-LICS 14, 50, 2014 | 5 | 2014 |
The functional machine calculus W Heijltjes Electronic Notes in Theoretical Informatics and Computer Science 1, 2023 | 4 | 2023 |
A deep quantitative type system G Guerrieri, WB Heijltjes, JWN Paulus 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 24: 1-24: 24, 2021 | 4 | 2021 |
Spinal atomic lambda-calculus D Sherratt, W Heijltjes, T Gundersen, M Parigot Foundations of Software Science and Computation Structures 12077, 582, 2020 | 4 | 2020 |
Un lambda-calcul atomique T Gundersen, W Heijltjes, M Parigot JFLA-Journées francophones des langages applicatifs, 2013 | 3 | 2013 |
Proof nets for first-order additive linear logic WB Heijltjes, DJD Hughes, L Straßburger 4th International Conference on Formal Structures for Computation and …, 2019 | 2 | 2019 |