Lambda_cube Lambda_cube

Lambda cube - Definition

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 (3-D) cube placed at the origin, and the calculus of constructions (= higher order polymorphic lambda calculus) as its diametric opposite vertex.

The idea of the cube is due to the mathematician Henk Barendregt.

See also

References

  • Barendregt H., Introduction to generalized type systems, Journal of Functional Programming, 1(2):125-154, April 1991.
  • Barendregt's Lambda Cube (http://www.rbjones.com/rbjpub/logic/cl/tlc001.htm)



E-to-the-i-pi.png 		 This mathematics-related article is a stub. You can help Wikipedia by expanding it (http://www.wordiq.com/definition/Lambda_cube).

Example Usage of Lambda
UmlaZi: Aint no hoe in Lambda Rho!!!!! My niggazZ meetin parents and shit!!!!!!!! lmao #NoHate
DaleTonyToca: stayin in today with my Lambda watchin movies......
sexgenderbody: IGLHRC and Lambda Legal Consulting with Nepali Government on LGBTI Rights Protections | sexgenderbody http://ff.im/-dg6ds
Copyright 2009 WordIQ.com - Privacy Policy  :: Terms of Use  :: Contact Us  :: About Us
This article is licensed under the GNU Free Documentation License. It uses material from the this Wikipedia article.