ウィキペディア英語版

出典:Wikipedia

Applicative computing systems

出典:『Wikipedia』 (2011/06/16 02:30 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

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: applicationthe same as in combinatory logic, and functional abstraction which binds the only variable in one object.

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる

applicative computing systemsのページの著作権