Intensional computation with higher-order functions
scientific article; zbMATH DE number 7041829
scientific article