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

Jan Schwinghammer, Lars Birkedal, Kristian Støvring

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures
Volume	LNCS 6604
Publisher	Springer
Publication date	2011
Pages	305-319
Publication status	Published - 2011

Cite this

@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",

}

A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. / Schwinghammer, Jan; Birkedal, Lars; Støvring, Kristian.
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures. Vol. LNCS 6604 Springer, 2011. p. 305-319.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

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

AU - Schwinghammer, Jan

AU - Birkedal, Lars

AU - Støvring, Kristian

PY - 2011

Y1 - 2011

M3 - Article in proceedings

VL - LNCS 6604

SP - 305

EP - 319

BT - FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures

PB - Springer

ER -