ITU

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

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Standard

First steps in synthetic guarded domain theory: step-indexing in the topos of trees. / Birkedal, Lars; Møgelberg, Rasmus Ejlers; Schwinghammer, Jan; Støvring, Kristian.

In: Logical Methods in Computer Science, Vol. 8, No. 4, 03.10.2012.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Harvard

Birkedal, L, Møgelberg, RE, Schwinghammer, J & Støvring, K 2012, 'First steps in synthetic guarded domain theory: step-indexing in the topos of trees', Logical Methods in Computer Science, vol. 8, no. 4. https://doi.org/10.2168/LMCS-8(4:1)2012

APA

Birkedal, L., Møgelberg, R. E., Schwinghammer, J., & Støvring, K. (2012). First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Logical Methods in Computer Science, 8(4). https://doi.org/10.2168/LMCS-8(4:1)2012

Vancouver

Birkedal L, Møgelberg RE, Schwinghammer J, Støvring K. First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Logical Methods in Computer Science. 2012 Oct 3;8(4). https://doi.org/10.2168/LMCS-8(4:1)2012

Author

Birkedal, Lars ; Møgelberg, Rasmus Ejlers ; Schwinghammer, Jan ; Støvring, Kristian. / First steps in synthetic guarded domain theory: step-indexing in the topos of trees. In: Logical Methods in Computer Science. 2012 ; Vol. 8, No. 4.

Bibtex

@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",

}

RIS

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

VL - 8

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 4

ER -

ID: 37326984