意味 |
Lambda cubeとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 型理論において、ラムダ・キューブ (Lambda cube) とは、8つの異なる型付きラムダ計算の関係を表した図である。
ウィキペディア英語版での「Lambda cube」の意味 |
Lambda cube
出典:『Wikipedia』 (2011/03/04 15:50 UTC 版)
In mathematical logic and type theory, the λ-cube is a framework for exploring the axes of refinement in Coquand's calculus of constructions, starting from the simply typed lambda calculus as the vertex of a cube placed at the origin, and the calculus of constructions (higher order dependently-typed polymorphic lambda calculus) as its diametric opposite vertex. Each axis of the cube represents a new form of abstraction:
- Terms depending on types, or polymorphism. System F, aka second order lambda calculus, is obtained by imposing only this property.
- Types depending on types, or type operators. Simply typed lambda-calculus with type operators, λω, is obtained by imposing only this property. Combined with System F it yields System Fω.
- Types depending on terms, or dependent types. Imposing only this property yields λΠ, a type system closely related to LF.
|
意味 |
Lambda cubeのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのLambda cube (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
-
1unmet
-
2destiny
-
3硬貨
-
4while
-
5leave
-
6consider
-
7present
-
8experience
-
9appreciate
-
10address
「Lambda cube」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |