ITU

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

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-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 JournalConference articleResearchpeer-review

Harvard

APA

Vancouver

Author

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