Lambda cube are replaced by faces, as well as a dual representation as a dodecahedron, where the 12 edges are replaced by faces. Lambda cube In mathematical logic and type theory, the λ-cube is a framework for exploring the axes of refinement in Thierry Coquand's calculus of constructions, starting from the simply typed lambda calculus (written as λ→ in the cube diagram) as the vertex of a cube placed at the origin, and the calculus of constructions (higher-order dependently typed polymorphic lambda calculus; written as λPω in the diagram) as its diametrically opposite vertex. Each axis of the cube represents a new
Bateson's cube Bateson's cube Bateson's cube is a model of the cost–benefit analysis for animal research developed by Professor Patrick Bateson, president of the Zoological Society of London. Bateson's cube evaluates proposed research through three criteria: Bateson suggested that research that does not meet these requirements should not be approved or performed, in accordance with the Animals (Scientific Procedures) Act 1986. It is not intended as a formal model for optimal trade-offs, but rather a tool for making judicial decisions, since the three axes are not in a common currency. The third criterion also does not necessarily have to be medical benefit,