Peter Møller Neergaard

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

University of Copenhagen, Denmark (PHD)

Education History

University of Copenhagen, Denmark

PHD

Publications

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