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

Lars Birkedal, Rasmus Ejlers Møgelberg, Kristian Støvring, Jan schwinghammer

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Annual Symposium on Logic in Computer Science
Sider (fra-til)	55-64
ISSN	1043-6871
DOI	https://doi.org/10.1109/LICS.2011.16
Status	Udgivet - 2011

Adgang til dokumentet

@inproceedings{2de3caf739e64e2592b3aa549f240896,

title = "First steps in synthetic guarded domain theory: step-indexing in the topos of trees",

author = "Lars Birkedal and M{\o}gelberg, \{Rasmus Ejlers\} and Kristian St{\o}vring and Jan schwinghammer",

year = "2011",

doi = "10.1109/LICS.2011.16",

language = "English",

pages = "55--64",

journal = "Annual Symposium on Logic in Computer Science",

issn = "1043-6871",

publisher = "IEEE",

}

TY - GEN

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

AU - Birkedal, Lars

AU - Møgelberg, Rasmus Ejlers

AU - Støvring, Kristian

AU - schwinghammer, Jan

PY - 2011

Y1 - 2011

U2 - 10.1109/LICS.2011.16

DO - 10.1109/LICS.2011.16

M3 - Conference article

SN - 1043-6871

SP - 55

EP - 64

JO - Annual Symposium on Logic in Computer Science

JF - Annual Symposium on Logic in Computer Science

ER -