Andrew Polonsky, Henk Barendregt. An Ontology of States. In Peter Achten, Pieter W. M. Koopman, editors, The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday. Volume 8106 of Lecture Notes in Computer Science, pages 18-26, Springer, 2013. [doi]
Abstract is missing.