| 2005 |
|---|
| 4 | EE | Peter Møller Neergaard:
Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof.
J. Funct. Program. 15(5): 669-677 (2005) |
| 2004 |
|---|
| 3 | EE | Peter Møller Neergaard:
A Functional Language for Logarithmic Space.
APLAS 2004: 311-326 |
| 2 | EE | Peter Møller Neergaard,
Harry G. Mairson:
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work.
ICFP 2004: 138-149 |
| 2002 |
|---|
| 1 | EE | Peter Møller Neergaard,
Morten Heine Sørensen:
Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions.
Inf. Comput. 178(1): 149-179 (2002) |
