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:18 - 9 self