Solutions of Generalized Recursive Metric-Space Equations. - Lars Birkedal; Kristian Støvring; Jacob Thamsborg (FICS, 2009)

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. - Lars Birkedal; Kristian Støvring; Jacob Thamsborg (FoSSaCS, 2009)

Relational parametricity for references and recursive types. - Lars Birkedal; Kristian Støvring; Jacob Thamsborg (TLDI, 2009)

Realisability semantics of parametric polymorphism, general references and recursive types. - Lars Birkedal; Kristian Støvring; Jacob Thamsborg (Math. Struct. Comput. Sci., 2010)

The category-theoretic solution of recursive metric-space equations. - Lars Birkedal; Kristian Støvring; Jacob Thamsborg (Theor. Comput. Sci., 2010)

A kripke logical relation for effect-based program transformations. - Jacob Thamsborg; Lars Birkedal (ICFP, 2011)

Step-indexed kripke models over recursive worlds. - Lars Birkedal; Bernhard Reus; Jan Schwinghammer; Kristian Støvring; Jacob Thamsborg; Hongseok Yang (POPL, 2011)

A Concurrent Logical Relation. - Lars Birkedal; Filip Sieczkowski; Jacob Thamsborg (CSL, 2012)

Two for the Price of One: Lifting Separation Logic Assertions - Jacob Thamsborg; Lars Birkedal; Hongseok Yang (Log. Methods Comput. Sci., 2012)

A relational realizability model for higher-order stateful ADTs. - Lars Birkedal; Kristian Støvring; Jacob Thamsborg (J. Log. Algebraic Methods Program., 2012)

Logical relations for fine-grained concurrency. - Aaron Joseph Turon; Jacob Thamsborg; Amal Ahmed 001; Lars Birkedal; Derek Dreyer (POPL, 2013)

A Kripke logical relation for effect-based program transformations. - Lars Birkedal; Guilhem Jaber; Filip Sieczkowski; Jacob Thamsborg (Inf. Comput., 2016)