Step-Indexed Kripke Models over Recursive Worlds

Lars Birkedal; Bernhard Reus; Jan Schwinghammer; Kristian Støvring; Jacob Junker Thamsborg; Hongseok Yang

Step-Indexed Kripke Models over Recursive Worlds

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Junker Thamsborg, Hongseok Yang

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA
Forlag	Association for Computing Machinery
Publikationsdato	jan. 2011
Sider	119-132
Status	Udgivet - jan. 2011

Citationsformater

@inproceedings{6c9a1f31034f428f8c516c007e6e5d13,

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

}

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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

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 -