default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWillem Heijltjes
Person information
- affiliation: University of Bath, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2016
[j3]Willem Heijltjes
, Robin Houston:
Proof equivalence in MLL is PSPACE-complete. Log. Methods Comput. Sci. 12(1) (2016)- [j2]Willem Heijltjes, Lutz Straßburger:
Proof nets and semi-star-autonomous categories. Math. Struct. Comput. Sci. 26(5): 789-828 (2016) - 2010
- [j1]Willem Heijltjes:
Classical proof forestry. Ann. Pure Appl. Log. 161(11): 1346-1366 (2010)
Conference and Workshop Papers
- 2024
- [c17]Chris Barrett, Daniel Castle, Willem Heijltjes:
The Relational Machine Calculus. LICS 2024: 9:1-9:15 - 2023
- [c16]Chris Barrett, Willem Heijltjes, Guy McCusker:
The Functional Machine Calculus II: Semantics. CSL 2023: 10:1-10:18 - 2022
- [c15]Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger:
Normalization Without Syntax. FSCD 2022: 19:1-19:19 - [c14]Willem Heijltjes:
The Functional Machine Calculus. MFPS 2022 - 2021
- [c13]Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus:
A Deep Quantitative Type System. CSL 2021: 24:1-24:24 - 2020
- [c12]Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes:
Decomposing Probabilistic Lambda-Calculi. FoSSaCS 2020: 136-156 - [c11]David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot:
Spinal Atomic Lambda-Calculus. FoSSaCS 2020: 582-601 - 2019
- [c10]Jack D. Betteridge, James H. Davenport, Melina A. Freitag, Willem Heijltjes, Stef Kynaston, Gregory Sankaran, Gunnar Traustason:
Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics. CEP 2019: 12:1-12:4 - [c9]Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger:
Intuitionistic proofs without syntax. LICS 2019: 1-13 - [c8]Willem Heijltjes, Dominic J. D. Hughes, Lutz Straßburger:
Proof Nets for First-Order Additive Linear Logic. FSCD 2019: 22:1-22:22 - 2018
- [c7]Gianluigi Bellin, Willem Heijltjes:
Proof Nets for Bi-Intuitionistic Linear Logic. FSCD 2018: 10:1-10:18 - 2016
- [c6]Dominic J. D. Hughes, Willem Heijltjes:
Conflict nets: Efficient locally canonical MALL proof nets. LICS 2016: 437-446 - 2015
- [c5]Willem Heijltjes, Dominic J. D. Hughes:
Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets. LICS 2015: 80-91 - 2014
- [c4]Willem Heijltjes, Robin Houston:
No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete. CSL-LICS 2014: 50:1-50:10 - 2013
- [c3]Tom Gundersen, Willem Heijltjes, Michel Parigot:
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing. LICS 2013: 311-320 - [c2]Tom Gundersen, Willem Heijltjes, Michel Parigot:
A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus. LPAR 2013: 340-354 - 2011
- [c1]Willem Heijltjes:
Proof Nets for Additive Linear Logic with Units. LICS 2011: 207-216
Informal and Other Publications
- 2024
- [i3]Chris Barrett, Daniel Castle, Willem Heijltjes:
The Relational Machine Calculus. CoRR abs/2405.10801 (2024) - 2022
- [i2]Chris Barrett, Willem Heijltjes, Guy McCusker:
The Functional Machine Calculus II: Semantics. CoRR abs/2211.13140 (2022) - 2020
- [i1]Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes:
Decomposing Probabilistic Lambda-calculi. CoRR abs/2002.08392 (2020)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
