THEORETICAL PEARLS: A bargain for intersection types: a simple strong normalization proof
From MaRDI portal
Publication:5695115
DOI10.1017/S0956796805005587zbMath1104.68013MaRDI QIDQ5695115
Publication date: 11 October 2005
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
Strong normalization through intersection types and memory, Intersection Types for the Resource Control Lambda Calculi