Login / Signup
The vectorial λ-calculus.
Pablo Arrighi
Alejandro Díaz-Caro
Benoît Valiron
Published in:
Inf. Comput. (2017)
Keyphrases
</>
provably correct
computer algebra
automated deduction
algebraic structure
expressive power
database systems
relational calculus