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

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA
Publisher	Association for Computing Machinery
Publication date	Jan 2011
Pages	119-132
Publication status	Published - Jan 2011

Cite this

@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. p. 119-132.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › 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 -