Login / Signup
Lineal: A linear-algebraic Lambda-calculus.
Pablo Arrighi
Gilles Dowek
Published in:
CoRR (2006)
Keyphrases
</>
lambda calculus
programming language
higher order
predicate calculus
database query languages
case study
pairwise