| 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