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

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

Originalsprog	Engelsk
Tidsskrift	Logical Methods in Computer Science
Vol/bind	8
Udgave nummer	4
ISSN	1860-5974
DOI	https://doi.org/10.2168/LMCS-8(4:1)2012
Status	Udgivet - 3 okt. 2012

Adgang til dokumentet

@article{766f3e77511c4704a3104b7c383069b7,

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 Jan Schwinghammer and Kristian St{\o}vring",

year = "2012",

month = oct,

day = "3",

doi = "10.2168/LMCS-8(4:1)2012",

language = "English",

volume = "8",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "International Federation for Computational Logic",

number = "4",

}

TY - JOUR

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

AU - Birkedal, Lars

AU - Møgelberg, Rasmus Ejlers

AU - Schwinghammer, Jan

AU - Støvring, Kristian

PY - 2012/10/3

Y1 - 2012/10/3

U2 - 10.2168/LMCS-8(4:1)2012

DO - 10.2168/LMCS-8(4:1)2012

M3 - Journal article

SN - 1860-5974

VL - 8

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 4

ER -