Definable functions in the simply typed lambda-calculus

Mateusz Zakrzewski

Published in: CoRR (2007)

Keyphrases

lambda calculus
programming language
predicate calculus
first order logic
higher order
database query languages
program understanding
complex objects
databases
general purpose
object oriented
open source