Strong Typed Boehm Theorem and Functional Completeness on the Linear Lambda Calculus.

Satoshi Matsuoka

Published in: MSFP (2016)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
complex objects
database query languages
database systems
high level
query optimization
program understanding
database
expert systems
spatial databases