From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
scientific article; zbMATH DE number 1521868
scientific article