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