Document Versions

A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces –Lars Birkedal, Jan Schwinghammer, Kristian Støvring
A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces ⋆ –Jan Schwinghammer, Lars Birkedal, Kristian Støvring
A Step-Indexed Kripke Model of Hidden State –Jan Schwinghammer, Lars Birkedal , et al. — 2011 — UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE