Information | |
---|---|
has gloss | eng: Applicative computing systems, or ACS are the systems of object calculi founded on combinatory logic and lambda calculus . The only essential notion which is under consideration in these systems is the representation of object. In combinatory logic the only metaoperator is application in a sense of applying one object to other. In lambda calculus two metaoperators are used: application – the same as in combinatory logic, and functional abstraction which binds the only variable in one object. |
lexicalization | eng: Applicative computing systems |
instance of | e/Computational model |
Meaning | |
---|---|
Russian | |
has gloss | rus: Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах — это представление об объекте. В комбинаторной логике единственный метаоператор — аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора — аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте. |
lexicalization | rus: Аппликативные вычислительные системы |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint