| 2008 |
|---|
| 5 | EE | Rasmus Lerchedahl Petersen,
Lars Birkedal,
Aleksandar Nanevski,
Greg Morrisett:
A Realizability Model for Impredicative Hoare Type Theory.
ESOP 2008: 337-352 |
| 2007 |
|---|
| 4 | EE | Lars Birkedal,
Rasmus Ejlers Møgelberg,
Rasmus Lerchedahl Petersen:
Domain-theoretical models of parametric polymorphism.
Theor. Comput. Sci. 388(1-3): 152-172 (2007) |
| 2006 |
|---|
| 3 | EE | Lars Birkedal,
Rasmus Ejlers Møgelberg,
Rasmus Lerchedahl Petersen:
Linear Abadi and Plotkin Logic
CoRR abs/cs/0611004: (2006) |
| 2 | EE | Lars Birkedal,
Rasmus Ejlers Møgelberg,
Rasmus Lerchedahl Petersen:
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus.
Electr. Notes Theor. Comput. Sci. 155: 191-217 (2006) |
| 1 | EE | Lars Birkedal,
Rasmus Ejlers Møgelberg,
Rasmus Lerchedahl Petersen:
Linear Abadi and Plotkin Logic.
Logical Methods in Computer Science 2(5): (2006) |
