Step-indexed Kripke models over recursive worlds (2011)

by Lars Birkedal , Bernhard Reus , Kristian Støvring , Jacob Thamsborg , Hongseok Yang
Venue:In Proc. of POPL
Citations:19 - 10 self

Document Versions

Step-indexed Kripke models over recursive worlds –Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang — 2011 — In Proc. of POPL
Step-indexed kripke models over recursive worlds –Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang — 2011 — In Proceedings of POPL
Step-indexed Kripke models over recursive worlds –Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang