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