@inproceedings{cc04ea2cbbb441b7986a7dccbad6a9f9,
title = "A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces",
author = "Jan Schwinghammer and Lars Birkedal and Kristian St{\o}vring",
year = "2011",
language = "English",
volume = "LNCS 6604",
pages = "305--319",
booktitle = "FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures",
publisher = "Springer",
address = "Germany",
}