Lambda cube
In mathematical logic and type theory, the λ-cube is a framework introduced by Henk Barendregt to investigate the different dimensions in which the calculus of constructions is a generalization of the simply typed λ-calculus. Each dimension of the cube corresponds to a new kind of dependency between terms and types. Here, "dependency" refers to the capacity of a term or type to bind a term or type. The respective dimensions of the λ-cube correspond to:
Wikipage disambiguates
Wikipage redirect
Link from a Wikipage to another Wikipage
differentFrom
primaryTopic
Lambda cube
In mathematical logic and type theory, the λ-cube is a framework introduced by Henk Barendregt to investigate the different dimensions in which the calculus of constructions is a generalization of the simply typed λ-calculus. Each dimension of the cube corresponds to a new kind of dependency between terms and types. Here, "dependency" refers to the capacity of a term or type to bind a term or type. The respective dimensions of the λ-cube correspond to:
has abstract
In mathematical logic and type ...... concept of a pure type system.
@en
Initialement proposé par Henk ...... ;
* Type dépendant de terme.
@fr
Ля́мбда-куб (λ-куб) — наглядна ...... матривая чистую систему типов.
@ru
Ля́мбда-куб (λ-куб) — наочна к ...... зглядаючи чисту систему типів.
@uk
在数理逻辑和类型论中，λ-立方是探索 的构造演算中细化轴的框 ...... ，另一种将它表示为一个十二面体，其中 12 条棱则以面代替。
@zh
型理論において、ラムダ・キューブ (Lambda cube) ...... alculus of Constructionsに対応する。
@ja
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,021,665,969
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
In mathematical logic and type ...... s of the λ-cube correspond to:
@en
Initialement proposé par Henk ...... ;
* Type dépendant de terme.
@fr
Ля́мбда-куб (λ-куб) — наглядна ...... матривая чистую систему типов.
@ru
Ля́мбда-куб (λ-куб) — наочна к ...... зглядаючи чисту систему типів.
@uk
在数理逻辑和类型论中，λ-立方是探索 的构造演算中细化轴的框 ...... 允许的定义；这些系统通常在λ-立方的论文发表后才被开发出来。
@zh
型理論において、ラムダ・キューブ (Lambda cube) ...... alculus of Constructionsに対応する。
@ja
label
Lambda cube
@en
Lambda cube
@fr
Lambda立方体
@zh
Лямбда-куб
@ru
Лямбда-куб
@uk
ラムダ・キューブ
@ja