Jacob Thamsborg

Realisability semantics of parametric polymorphism, general references and recursive types

Lars Birkedal, Kristian Støvring, Jacob Thamsborg, 2010, Mathematical Structures in Computer Science.

The category-theoretic solution of recursive metric-space equations

Lars Birkedal, Kristian Støvring, Jacob Thamsborg, 2010, Theor. Comput. Sci..

A Concurrent Logical Relation

Lars Birkedal, Filip Sieczkowski, Jacob Thamsborg, 2012, CSL.

Logical relations for fine-grained concurrency

Lars Birkedal, Derek Dreyer, Aaron Turon, 2013, POPL.

Step-indexed kripke models over recursive worlds

Hongseok Yang, Lars Birkedal, Jan Schwinghammer, 2011, POPL '11.

A relational realizability model for higher-order stateful ADTs

Lars Birkedal, Kristian Støvring, Jacob Thamsborg, 2012, J. Log. Algebraic Methods Program..

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

L. Birkedal, Kristian Støvring, Jacob Thamsborg, 2009, FoSSaCS.

Solutions of Generalized Recursive Metric-Space Equations

Lars Birkedal, Kristian Støvring, Jacob Thamsborg, 2009, FICS.