Partially ordered sets with projections and their topology
model for the untyped \(\lambda\)-calculus
scientific article; zbMATH DE number 2120142