The heart of intersection type assignment: Normalisation proofs revisited
scientific article; zbMATH DE number 5292219