Login / Signup

lambda-Calculi with Explicit Substitutions Preserving Strong Normalization.

Maria C. F. FerreiraDelia KesnerLaurence Puel
Published in: Appl. Algebra Eng. Commun. Comput. (1999)
Keyphrases
  • databases
  • real time
  • data sets
  • learning algorithm
  • artificial intelligence
  • e learning
  • database systems
  • bayesian networks
  • normalization method
  • lambda calculus
  • qualitative spatial and temporal reasoning