
Kristian Støvring
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Information Desk: 72185000
- 2012
- Published
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Birkedal, L., Møgelberg, R. E., Schwinghammer, J. & Støvring, K., 3 Oct 2012, In: Logical Methods in Computer Science. 8, 4Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 2011
- Published
Step-Indexed Kripke Models over Recursive Worlds
Birkedal, L., Reus, B., Schwinghammer, J., Støvring, K., Thamsborg, J. J. & Yang, H., Jan 2011, Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA. Association for Computing Machinery, p. 119-132Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces
Schwinghammer, J., Birkedal, L. & Støvring, K., 2011, FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures. Springer, Vol. LNCS 6604. p. 305-319Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
A Step-Indexed Kripke Model of Separation Logic for Storable Locks
Buisse, A., Birkedal, L. & Støvring, K., 2011, In: Electronic Notes in Theoretical Computer Science. 276Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Birkedal, L., Møgelberg, R. E., Støvring, K. & schwinghammer, J., 2011, In: Annual Symposium on Logic in Computer Science. p. 55-64Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- 2010
- Published
Realisability semantics of parametric polymorphism, general references and recursive types
Birkedal, L., Støvring, K. & Thamsborg, J. J., 2010, In: Mathematical Structures in Computer Science. 20, 4, p. 655-703Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
The category-theoretic solution of recursive metric-space equations
Birkedal, L., Støvring, K. & Thamsborg, J. J., 2010, In: Theoretical Computer Science. 411, 47, p. 4102-4122Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 2009
- Published
A Complete, Co-inductive Syntactic Theory of Sequential Control and State
Støvring, K. & Lassen, S. B., 2009, Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Palsberg, J. (ed.). Springer, p. 329-375 (Lecture Notes in Computer Science; No. 5700).Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research
- Published
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Birkedal, L., Støvring, K. & Thamsborg, J. J., 2009, In: Lecture Notes in Computer Science. p. 456-470 15 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Relational Parametricity for References and Recursive Types
Birkedal, L., Støvring, K. & Thamsborg, J. J., 2009, Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.. Kennedy, A. & Ahmed, A. (eds.). Association for Computing Machinery, p. 91-104 13 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
ID: 264776