ITU
Kristian Støvring

Kristian Støvring

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

  1. 2012
  2. 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, 4

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. 2011
  4. 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-132

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  5. 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-319

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  6. 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. 276

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  7. 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-64

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  8. 2010
  9. 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-703

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  10. 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-4122

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  11. 2009
  12. 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 chapterBook chapterResearch

  13. 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 JournalConference articleResearchpeer-review

  14. 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 chapterArticle in proceedingsResearchpeer-review

Previous 1 2 Next

ID: 264776