Originalsprog | Engelsk |
---|---|
Tidsskrift | Logical Methods in Computer Science |
Vol/bind | 8 |
Udgave nummer | 4 |
ISSN | 1860-5974 |
DOI | |
Status | Udgivet - 3 okt. 2012 |
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review