Telescopic mappings in typed lambda calculus
scientific article; zbMATH DE number 4193097
scientific article