Login / Signup

π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus.

Dietmar GärtnerWerner E. Kluge
Published in: J. Funct. Program. (1996)
Keyphrases
  • real time
  • digital images
  • neural network
  • user friendly
  • connected components
  • random graphs