Lambda cube
id:
lambda-cube-188-16921823
title:
Lambda cube
text:
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:
- x-axis: types that can bind terms, corr
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Lambda_cube
date created:
2004-08-15T07:54:30Z
date modified:
2024-09-09T01:13:25Z
main entity:
{"identifier":"Q2036661","url":"https://www.wikidata.org/entity/Q2036661"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/c/cd/Lambda_Cube_img.svg","width":253,"height":204}
fields total:
13
integrity:
15