Login / Signup

Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus

Ali AssafAlejandro Díaz-CaroSimon PerdrixChristine TassonBenoît Valiron
Published in: Log. Methods Comput. Sci. (2014)
Keyphrases
  • algebraic structure
  • computer algebra
  • qualitative spatial
  • real time
  • data sets
  • databases
  • decision making
  • user behaviour
  • algebraic geometry
  • neural network
  • video sequences
  • state space
  • denoising