Login / Signup

The vectorial λ-calculus.

Pablo ArrighiAlejandro Díaz-CaroBenoît Valiron
Published in: Inf. Comput. (2017)
Keyphrases
  • provably correct
  • computer algebra
  • automated deduction
  • algebraic structure
  • expressive power
  • database systems
  • relational calculus