Aarhus University Seal / Aarhus Universitets segl

Step-Indexed Kripke Models over Recursive Worlds

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Standard

Step-Indexed Kripke Models over Recursive Worlds. / Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob Junker; Yang, Hongseok.

Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA. Association for Computing Machinery, 2011. p. 119-132.

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Harvard

Birkedal, L, Reus, B, Schwinghammer, J, Støvring, K, Thamsborg, JJ & Yang, H 2011, Step-Indexed Kripke Models over Recursive Worlds. in Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA. Association for Computing Machinery, pp. 119-132.

APA

Birkedal, L., Reus, B., Schwinghammer, J., Støvring, K., Thamsborg, J. J., & Yang, H. (2011). Step-Indexed Kripke Models over Recursive Worlds. In Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA (pp. 119-132). Association for Computing Machinery.

CBE

Birkedal L, Reus B, Schwinghammer J, Støvring K, Thamsborg JJ, Yang H. 2011. Step-Indexed Kripke Models over Recursive Worlds. In Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA. Association for Computing Machinery. pp. 119-132.

MLA

Birkedal, Lars et al. "Step-Indexed Kripke Models over Recursive Worlds". Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA. Association for Computing Machinery. 2011, 119-132.

Vancouver

Birkedal L, Reus B, Schwinghammer J, Støvring K, Thamsborg JJ, Yang H. Step-Indexed Kripke Models over Recursive Worlds. In Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA. Association for Computing Machinery. 2011. p. 119-132

Author

Birkedal, Lars ; Reus, Bernhard ; Schwinghammer, Jan ; Støvring, Kristian ; Thamsborg, Jacob Junker ; Yang, Hongseok. / Step-Indexed Kripke Models over Recursive Worlds. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA. Association for Computing Machinery, 2011. pp. 119-132

Bibtex

@inproceedings{ed26f49f9366427aa24f7e83f22766de,
title = "Step-Indexed Kripke Models over Recursive Worlds",
author = "Lars Birkedal and Bernhard Reus and Jan Schwinghammer and Kristian St{\o}vring and Thamsborg, {Jacob Junker} and Hongseok Yang",
note = "mangler volume, ISBN, ...? (jcg)",
year = "2011",
month = jan,
language = "English",
pages = "119--132",
booktitle = "Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA",
publisher = "Association for Computing Machinery",
address = "United States",

}

RIS

TY - GEN

T1 - Step-Indexed Kripke Models over Recursive Worlds

AU - Birkedal, Lars

AU - Reus, Bernhard

AU - Schwinghammer, Jan

AU - Støvring, Kristian

AU - Thamsborg, Jacob Junker

AU - Yang, Hongseok

N1 - mangler volume, ISBN, ...? (jcg)

PY - 2011/1

Y1 - 2011/1

M3 - Article in proceedings

SP - 119

EP - 132

BT - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA

PB - Association for Computing Machinery

ER -