Login / Signup
Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion.
Giulio Manzonetto
Michele Pagani
Published in:
TLCA (2011)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
database query languages
program understanding
higher order
databases
complex objects
database systems
database
object oriented
database design