Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
scientific article; zbMATH DE number 3809529
scientific article