Rasmus Lerchedahl Petersen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett: A Realizability Model for Impredicative Hoare Type Theory. ESOP 2008: 337-352

4 Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Domain-theoretical models of parametric polymorphism. Theor. Comput. Sci. 388(1-3): 152-172 (2007)

3 Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Linear Abadi and Plotkin Logic CoRR abs/cs/0611004: (2006)

2 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 Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Linear Abadi and Plotkin Logic. Logical Methods in Computer Science 2(5): (2006)

Selection of 5 from 5 records - Rasmus Lerchedahl Petersen has 4 coauthors

5		Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett: A Realizability Model for Impredicative Hoare Type Theory. ESOP 2008: 337-352
4		Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Domain-theoretical models of parametric polymorphism. Theor. Comput. Sci. 388(1-3): 152-172 (2007)
3		Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Linear Abadi and Plotkin Logic CoRR abs/cs/0611004: (2006)
2		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		Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Linear Abadi and Plotkin Logic. Logical Methods in Computer Science 2(5): (2006)