A Step−Indexed Kripke Model of Hidden State

Jan Schwinghammer‚ Lars Birkedal‚ Francois Pottier‚ Bernhard Reus‚ Kristian Stovring and Hongseok Yang