1. A, Barber. Linear Type Theories, Semantics and Action Calculi. PhD thesis, Edinburgh University, 1997
2. Operational properties of Lily, a polymorphic linear lambda calculus with recursion;Bierman,2000
3. Categorical models of Abadi-Plotkin's logic for parametricity;Birkedal;Mathematical Structures in Computer Science,2005
4. 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, February 2005
5. L. Birkedal, R.E. Møgelberg, and R.L. Petersen. Parametric domain-theoretic models of polymorphic intuitionistic / linear lambda calculus. In Proceedings of the Twenty-first Conference on the Mathematical Foundations of Programming Semantics, 2005. To appear