Kristian Støvring

Available identifiers

Publication	Date of Publication	Type
A complete, co-inductive syntactic theory of sequential control and state	2014-09-12	Paper
Inductive reasoning about effectful data types	2014-07-21	Paper
Step-indexed kripke models over recursive worlds	2014-04-10	Paper
Program extraction from proofs of weak head normalization	2013-10-08	Paper
A step-indexed Kripke model of hidden state	2013-03-14	Paper
First steps in synthetic guarded domain theory: step-indexing in the topos of trees	2012-10-22	Paper
A relational realizability model for higher-order stateful ADTs	2012-08-14	Paper
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces	2011-05-19	Paper
The category-theoretic solution of recursive metric-space equations	2010-11-11	Paper
Realisability semantics of parametric polymorphism, general references and recursive types	2010-08-26	Paper
A Complete, Co-inductive Syntactic Theory of Sequential Control and State	2009-10-22	Paper
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types	2009-03-31	Paper
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative	2007-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q3431410	2007-04-10	Paper

This page was built for person: Kristian Støvring