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
Cosmic Cube machine to get the Cube from the ocean floor into which it had dropped during a battle between the Red Skull and Captain America. A Cube—together with 11 other items from Marvel and DC Comics continuity—was used once again as a plot device in intercompany crossover series "JLA/Avengers" #1–4 (Sept. 2003–April 2004: bi-monthly). The Cube also shows up in "Captain America" vol. 5. Aleksander Lukin wants the Cube and is willing to trade the Red Skull for it. The Red Skull claims he does not have it, but has spies out looking for it. Five years later, the Skull is