Weak and Strong Beta Normalisations in Typed Lambda-Calculi.

Published in: TLCA (1997)

Keyphrases

lambda calculus
higher order
decision trees
real time
machine learning
optimal solution
programming language
qualitative spatial
data sets
genetic algorithm
high level
reasoning problems