Login / Signup

An Abstract Machine for Lambda-Terms Normalization.

Pierre Crégut
Published in: LISP and Functional Programming (1990)
Keyphrases
  • abstract machine
  • co occurrence
  • information retrieval
  • artificial neural networks
  • database
  • knowledge base
  • preprocessing
  • data model
  • fixed point