Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,555 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
16 relations
Automath
Calculus of constructions
Dependent type
History of type theory
Expand
Broader (2)
Lambda calculus
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Asai cube L-functions and the local Langlands conjecture
G. Henniart
,
L. Lomel'i
2017
Corpus ID: 119321556
Let $F$ be a non-archimedean locally compact field. We study a class of Langlands-Shahidi pairs $({\bf H},{\bf L})$, consisting…
Expand
2015
2015
PROJECT SCHEDULING USING THE HYPERCUBE ANT COLONY OPTIMIZATION ALGORITHM
Broderick Crawford
,
Ricardo Soto
,
Franklin Johnson
,
S. Misra
,
F. Paredes
,
Eduardo Olguín
2015
Corpus ID: 19245286
Original scientific paper This paper introduces a proposal of design of Ant Colony Optimization algorithm paradigm using Hyper…
Expand
2014
2014
The Evolution of Mathematics in Ancient China: From the Newly Discovered Shu and Suan shu shu Bamboo Texts to the Nine Chapters on the Art of Mathematics
J. Dauben
2014
Corpus ID: 163454864
* © 2014 Joseph W. Dauben. Used with permission. † This article is based on a lecture presented in September of 2012 at the…
Expand
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…
Expand
2009
2009
On the pseudorandomness of Shabal ’ s keyed permutation
Jean-Philippe Aumasson
2009
Corpus ID: 53680357
We report observations suggesting that the permutation used in Shabal does not behave pseudorandomly. This does not affect the…
Expand
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
R. Natarajan
,
and Govardhan Savitha
,
J. N. Moorthy
2005
Corpus ID: 16271119
Twelve unique D2d-symmetric extended-tetrahedral tetrapyridylbimesityl ligands 1 and six metal cations (Ni2+ and Cu2+) assemble…
Expand
2003
2003
Extracting semantics from data cubes using cube transversals and closures
Alain Casali
,
R. Cicchetti
,
L. Lakhal
Knowledge Discovery and Data Mining
2003
Corpus ID: 16716932
In this paper we propose a lattice-based approach intended for extracting semantics from datacubes: borders of version spaces for…
Expand
2002
2002
Uncountable γ-sets under axiom CPA gamecube
K. Ciesielski
,
A. Millán
,
J. Pawlikowski
2002
Corpus ID: 51237962
In the paper we formulate a Covering Property Axiom CPA cube , which holds in the iterated perfect set model, and show that it…
Expand
2001
2001
Simultaneous Representations of Semilattices by Lattices with Permutable Congruences
J. Tuma
,
F. Wehrung
International journal of algebra and computation
2001
Corpus ID: 15648638
The Congruence Lattice Problem (CLP), stated by R. P. Dilworth in the forties, asks whether every distributive {∨, 0}-semilattice…
Expand
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
M. Pavlov
,
B. Fedorov
1983
Corpus ID: 31893915
An improved cube method has been developed for calculating the intensity of diffuse x‐ray scattering of macromolecules in…
Expand
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)
ACCEPT & CONTINUE