Login / Signup
The Exp-Log Normal Form of Types and Canonical Terms for Lambda Calculus with Sums.
Danko Ilik
Zakaria Chihani
Published in:
CoRR (2015)
Keyphrases
</>
normal form
lambda calculus
database design
functional dependencies
nested relations
relational databases
relational algebra
database theory
relational model
set of functional dependencies