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 tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftLogical Methods in Computer Science
Vol/bind8
Udgave nummer4
ISSN1860-5974
DOI
StatusUdgivet - 3 okt. 2012

Citationsformater