ラムダ・キューブ
1. Lambda cubeIn 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 diametrically opposite vertex. Each axis of the cube represents a new form of abstraction: Terms depending on types, or polymorphism.
Read “Lambda cube” on English Wikipedia
Read “ラムダ・キューブ” on Japanese Wikipedia
Read “Lambda cube” on DBpedia
Read “Lambda cube” on English Wikipedia
Read “ラムダ・キューブ” on Japanese Wikipedia
Read “Lambda cube” on DBpedia
Discussions
Log in to talk about this word.