The Vectorial Lambda-Calculus.

Pablo Arrighi Alejandro Díaz-Caro Benoît Valiron

Published in: CoRR (2013)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
general purpose
higher order
complex objects