CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Opublikowane w:
(Under Review), 2022, ISSN 2331-8422
Wydawca:
arXiv
DOI:
10.48550/arXiv.2308.02906
Autorzy:
Jonathan Sterling
Opublikowane w:
(Under Review), 2023, ISSN 2331-8422
Wydawca:
arXiv
DOI:
10.48550/arXiv.2307.09497
Autorzy:
Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Opublikowane w:
(Under Review), 2023, ISSN 2331-8422
Wydawca:
arXiv
DOI:
10.48550/arXiv.2307.16608
Autorzy:
Harrison Grodin, Robert Harper, Yue Niu, and Jonathan Sterling
Opublikowane w:
(Under Review), 2023, ISSN 2331-8422
Wydawca:
arXiv
DOI:
10.48550/arXiv.2307.05938
Autorzy:
Daniel Gratzer, Jonathan Sterling,Carlo Angiuli, Thierry Coquand, and Lars Birkedal
Opublikowane w:
Controlling unfolding in type theory, 2022, ISSN 2331-8422
Wydawca:
arXiv
DOI:
10.48550/arXiv.2210.05420
Autorzy:
Jonathan Sterling
Opublikowane w:
(Under Review), 2022, ISSN 2331-8422
Wydawca:
arXiv
DOI:
10.48550/arXiv.2210.00758
Autorzy:
Frederik Lerbjerg Aagaard, Jonathan Sterling, and Lars Birkedal
Opublikowane w:
39th International Conference on Mathematical Foundations of Programming Semantics, 2023, ISSN 2969-2431
Wydawca:
Electronic Notes in Theoretical Informatics and Computer Science
DOI:
10.48550/arXiv.2210.02169
Autorzy:
Jonathan Sterling
Opublikowane w:
Mathematical Structures in Computer Science, 2023, ISSN 0960-1295
Wydawca:
Cambridge University Press
DOI:
10.1017/S0960129523000117
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników