e/Applicative computing systems

New Query

Information
has glosseng: 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.
lexicalizationeng: Applicative computing systems
instance ofe/Computational model
Meaning
Russian
has glossrus: Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах — это представление об объекте. В комбинаторной логике единственный метаоператор — аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора — аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте.
lexicalizationrus: Аппликативные вычислительные системы

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint