Strong normalization through intersection types and memory
scientific article; zbMATH DE number 6862943
scientific article