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

Fingerprint

Dive into the research topics of 'First steps in synthetic guarded domain theory: step-indexing in the topos of trees'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science