Login / Signup
lambda-Calculi with Explicit Substitutions Preserving Strong Normalization.
Maria C. F. Ferreira
Delia Kesner
Laurence 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