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

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Original languageEnglish
JournalLogical Methods in Computer Science
Volume8
Issue number4
ISSN1860-5974
DOIs
Publication statusPublished - 3 Oct 2012

Cite this