Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms.

Published in: Fundam. Informaticae (2020)

Keyphrases

normal form
functional dependencies
lambda calculus
database theory
data dependencies
function symbols
relational databases
database design
fixed point
relational algebra
formal definitions
database
case study
prime implicates
nested relations