Step-indexed kripke models over recursive worldsOpen Website

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang

2011 (modified: 03 Apr 2023)POPL 2011Readers: Everyone
0 Replies