Login / Signup
Weak and Strong Beta Normalisations in Typed Lambda-Calculi.
Hongwei Xi
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