Peter Møller Neergaard

From MaRDI portal
Person:1854561

Available identifiers

zbMath Open moller-neergaard.peterMaRDI QIDQ1854561

List of research outcomes





PublicationDate of PublicationType
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work2015-03-09Paper
THEORETICAL PEARLS: A bargain for intersection types: a simple strong normalization proof2005-10-11Paper
Programming Languages and Systems2005-08-17Paper
Conservation and uniform normalization in lambda calculi with erasing reductions2003-01-14Paper

Research outcomes over time

This page was built for person: Peter Møller Neergaard

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1854561&oldid=11941914"
Powered by MediaWiki