In the 1970s, Dana Scott showed that, if only continuous functions were considered, a set or domain D with the required property could be found, thus providing a model for the lambda calculus.
У 1970-им, Дејна Скот је показако да, ако се посматрају само непрекидне функције, скуп или домен D са потребним особинама се може наћи, правећи тако модел ламбда рачуна.