Scott's models and illative combinatory logic
scientific article; zbMATH DE number 3544013