First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- Lars Birkedal,
- ,
- Kristian Støvring,
- Jan schwinghammer
- Saarland University
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-review
Open access
Publication Information
Output type
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 55-64Journal (Volume, Issue Number)
Annual Symposium on Logic in Computer SciencePublication milestones
- Published - 2011
Publication status
Published - 2011
ISSN
1043-6871Publication IDs
- Scopus: 80052144129
Publication metrics
PlumX, opens in new tab
Citations
44
Captures
24