D. Dreyer, G. Neis, A. Rossberg, and L. Birkedal. A relational modal logic for higher-order stateful ADTs. July 2009. To Appear in POPL'2010 (accepted for publication). (PDF, 339559 bytes)

D. Dreyer, A. Ahmed, and L. Birkedal. Logical step-indexed logical relations. In Proceedings of LICS 2009, August 2009. (PDF, 238714 bytes)

L. Birkedal, K. Støvring, and J. Thamsborg. Realizability semantics of parametric polymorphism, references, and recursive types. In Proceedings of FOSSACS'09, April 2009. (PDF, 258769 bytes)

L. Birkedal, K. Støvring, and J. Thamsborg. Relational parametricity for references and recursive types. In Proceedings of TLDI, January 2009. (PDF, 275897 bytes)

L. Birkedal, R.E. Møgelberg, and R.L. Petersen. Category-theoretic models of Linear Abadi & Plotkin Logic. Theory and Applications in Categories, 20(7):116-151, 2008. (PDF)

R.E. Møgelberg, L. Birkedal, and G. Rosolini. Synthetic domain theory and models of Linear Abadi & Plotkin Logic. Annals of Pure and Applied Logic, 2008. (PDF, 352147 bytes)

L. Birkedal, R.L. Petersen, R. Møgelberg, and C. Varming. Operational semantics and models of Linear Abadi-Plotkin Logic. 2008. Submitted for publication.

L. Birkedal, R.E. Møgelberg, and R.L. Petersen. Domain-theoretic models of parametric polymorphism. Theoretical Computer Science, 388(1-3):152-172, 2007. (PDF, 265619 bytes)

L. Birkedal, R.E. Møgelberg, and R.L. Petersen. Linear Abadi and Plotkin logic. Logical Methods in Computer Science, 2(5:2), August 2006. lmcs online version.

L. Birkedal and R.E. Møgelberg. Categorical models of Abadi-Plotkin's logic for parametricity. Mathematical Structures in Computer Science, 15:709-772, 2005. (Gzipped PostScript, 65 pages, 223379 bytes) (PDF, 605322 bytes)

L. Birkedal, R.E. Møgelberg, and R.L. Petersen. Parametric domain-theoretic models of polymorphic intuitionistic / linear lambda calculus. February 2005. Mathematical Foundations of Programming Semantics 2005. (PDF, 346581 bytes)

R.E. Møgelberg, L. Birkedal, and G. Rosolini. Synthetic domain theory and models of linear Abadi and Plotkin logic. February 2005. Mathematical Foundations of Programming Semantics 2005. (PDF, 362775 bytes)

L. Birkedal, R.E. Møgelberg, and R.L. Petersen. Parametric domain-theoretic models of linear Abadi-Plotkin logic. Technical Report TR-2005-57, IT University of Copenhagen, 2005. (Gzipped PostScript, 76 pages, 264426 bytes) (PDF, 539080 bytes)

R.E. Møgelberg, L. Birkedal, and G. Rosolini. Synthetic domain theory and models of linear Abadi and Plotkin logic. Technical Report TR-2005-59, IT University of Copenhagen, February 2005. (Gzipped PostScript, 52 pages, 224993 bytes) (PDF, 423219 bytes)

R.E. Møgelberg, L. Birkedal, and R.L. Petersen. Categorical models of PILL. Technical Report TR-2005-58, IT University of Copenhagen, February 2005. (Gzipped PostScript, 17 pages, 132842 bytes) (PDF, 205186 bytes)

L. Birkedal and R.E. Møgelberg. On the definition of parametricity. Technical Report 44, The IT University of Copenhagen, 2004. (Gzipped PostScript, 77 pages, 347573 bytes)