CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Published in:
(Under Review), 2022, ISSN 2331-8422
Publisher:
arXiv
DOI:
10.48550/arXiv.2308.02906
Author(s):
Jonathan Sterling
Published in:
(Under Review), 2023, ISSN 2331-8422
Publisher:
arXiv
DOI:
10.48550/arXiv.2307.09497
Author(s):
Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Published in:
(Under Review), 2023, ISSN 2331-8422
Publisher:
arXiv
DOI:
10.48550/arXiv.2307.16608
Author(s):
Harrison Grodin, Robert Harper, Yue Niu, and Jonathan Sterling
Published in:
(Under Review), 2023, ISSN 2331-8422
Publisher:
arXiv
DOI:
10.48550/arXiv.2307.05938
Author(s):
Daniel Gratzer, Jonathan Sterling,Carlo Angiuli, Thierry Coquand, and Lars Birkedal
Published in:
Controlling unfolding in type theory, 2022, ISSN 2331-8422
Publisher:
arXiv
DOI:
10.48550/arXiv.2210.05420
Author(s):
Jonathan Sterling
Published in:
(Under Review), 2022, ISSN 2331-8422
Publisher:
arXiv
DOI:
10.48550/arXiv.2210.00758
Author(s):
Frederik Lerbjerg Aagaard, Jonathan Sterling, and Lars Birkedal
Published in:
39th International Conference on Mathematical Foundations of Programming Semantics, 2023, ISSN 2969-2431
Publisher:
Electronic Notes in Theoretical Informatics and Computer Science
DOI:
10.48550/arXiv.2210.02169
Author(s):
Jonathan Sterling
Published in:
Mathematical Structures in Computer Science, 2023, ISSN 0960-1295
Publisher:
Cambridge University Press
DOI:
10.1017/S0960129523000117
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available