Peter Møller Neergaard

According to our database, Peter Møller Neergaard authored at least 5 papers between 1999 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof.

Peter Møller Neergaard

J. Funct. Program., 2005

2004

Types, potency, and idempotency: why nonlinearity and amnesia make a type system work.

Peter Møller Neergaard, Harry G. Mairson

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

A Functional Language for Logarithmic Space.

Peter Møller Neergaard

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2002

Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions.

Peter Møller Neergaard, Morten Heine Sørensen

Inf. Comput., 2002

1999

Weak and strong normalization, K-redexes, and first-order logic.

Peter Møller Neergaard

PhD thesis, 1999