Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, et al.. A step-indexed Kripke Model of Hidden State.
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013, 23 (1), pp.1--54.
⟨hal-00772757⟩