A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces.

Jan Schwinghammer, Lars Birkedal, Kristian Stvring

Browse the full FOSSACS paper archive.