Step-indexed kripke models over recursive worlds.

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Stvring, Jacob Thamsborg, Hongseok Yang

Browse the full POPL paper archive.