Login / Signup
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