Login / Signup
π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus.
Dietmar Gärtner
Werner E. Kluge
Published in:
J. Funct. Program. (1996)
Keyphrases
</>
real time
digital images
neural network
user friendly
connected components
random graphs