ITU

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

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

View graph of relations

Original languageEnglish
JournalAnnual Symposium on Logic in Computer Science
Pages (from-to)55-64
ISSN1043-6871
DOIs
Publication statusPublished - 2011

ID: 32333626