On functions preserving levels of approximation: A refined model construction for various lambda calculi
scientific article; zbMATH DE number 1238996
scientific article