The following pages link to Peter Møller Neergaard (Q1854561):
Displayed 4 items.
- Conservation and uniform normalization in lambda calculi with erasing reductions (Q1854562) (← links)
- Types, potency, and idempotency (Q5178032) (← links)
- Programming Languages and Systems (Q5464048) (← links)
- THEORETICAL PEARLS: A bargain for intersection types: a simple strong normalization proof (Q5695115) (← links)