ITU

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

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

View graph of relations

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

ID: 37326984