Skip to search formSkip to main contentSkip to account menu

Lambda cube

Known as: Barendregt cube, Cube (disambiguation), Λ-cube 
In mathematical logic and type theory, the λ-cube is a framework for exploring the axes of refinement in Coquand's calculus of constructions… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
AutomathCalculus of constructionsDependent typeHistory of type theory

Broader (2)

Lambda calculusType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Gamma factors for the Asai cube representation
We prove an equality between the gamma factors for the Asai cube representation of RE/FGL2\documentclass[12pt]{minimal… 
2015
2015
PROJECT SCHEDULING USING THE HYPERCUBE ANT COLONY OPTIMIZATION ALGORITHM
Original scientific paper This paper introduces a proposal of design of Ant Colony Optimization algorithm paradigm using Hyper… 
2011
2011
Deterministic Clustering of Incompatible Test Cubes for Higher Power-Aware EDT Compression
The embedded deterministic test-based compression uses cube merging to reduce a pattern count, the amount of test data, and test… 
2010
2010
Inductive User Preference Manipulation for Multimedia Retrieval
  • David Zellhöfer
  • Second International Conferences on Advances in…
  • 2010
  • Corpus ID: 38288148
In order to enable users to query documents according their individual preferences, we propose a new user interaction model that… 
2007
2007
Transformation of Relational Features for Use with Conventional Classifiers
In this paper, we address the problem of transforming relational features into an Euclidian space so that standard classification… 
2005
2005
Self-Assembly of a Unique Extended-Tetrahedral 3,3‘,5,5‘-Tetrakis(4-pyridyl)bimesityl Ligand into Discrete Supramolecular Cubes by Face-Directed Metal Coordination
Twelve unique D2d-symmetric extended-tetrahedral tetrapyridylbimesityl ligands 1 and six metal cations (Ni2+ and Cu2+) assemble… 
2003
2003
Extracting semantics from data cubes using cube transversals and closures
In this paper we propose a lattice-based approach intended for extracting semantics from datacubes: borders of version spaces for… 
2002
2002
Uncountable γ-sets under axiom CPA gamecube
In the paper we formulate a Covering Property Axiom CPA cube , which holds in the iterated perfect set model, and show that it… 
2001
2001
Simultaneous Representations of Semilattices by Lattices with Permutable Congruences
The Congruence Lattice Problem (CLP), stated by R. P. Dilworth in the forties, asks whether every distributive {∨, 0}-semilattice… 
Highly Cited
1983
Highly Cited
1983
Improved technique for calculating X‐ray scattering intensity of biopolymers in solution: Evaluation of the form, volume, and surface of a particle
An improved cube method has been developed for calculating the intensity of diffuse x‐ray scattering of macromolecules in… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)