ITU

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

Research output: Journal Article or Conference Article in Journal › Conference 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; Støvring, Kristian; schwinghammer, Jan.

In: Annual Symposium on Logic in Computer Science, 2011, p. 55-64.

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

Harvard

Birkedal, L, Møgelberg, RE, Støvring, K & schwinghammer, J 2011, 'First steps in synthetic guarded domain theory: step-indexing in the topos of trees', Annual Symposium on Logic in Computer Science, pp. 55-64. https://doi.org/10.1109/LICS.2011.16

APA

Birkedal, L., Møgelberg, R. E., Støvring, K., & schwinghammer, J. (2011). First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Annual Symposium on Logic in Computer Science, 55-64. https://doi.org/10.1109/LICS.2011.16

Vancouver

Birkedal L, Møgelberg RE, Støvring K, schwinghammer J. First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Annual Symposium on Logic in Computer Science. 2011;55-64. https://doi.org/10.1109/LICS.2011.16

Author

Birkedal, Lars ; Møgelberg, Rasmus Ejlers ; Støvring, Kristian ; schwinghammer, Jan. / First steps in synthetic guarded domain theory: step-indexing in the topos of trees. In: Annual Symposium on Logic in Computer Science. 2011 ; pp. 55-64.

Bibtex

@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 = "I E E E Computer Society",

}

RIS

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

SP - 55

EP - 64

JO - Annual Symposium on Logic in Computer Science

JF - Annual Symposium on Logic in Computer Science

SN - 1043-6871

ER -

ID: 32333626