A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms.

Published in: LOPSTR (2016)

Keyphrases

orders of magnitude
normal form
nested relations
database design
database theory
functional dependencies
relational databases
state space
brute force search
relational algebra
formal definitions
lambda calculus
search algorithm
planning domains
search problems
function symbols