pi-RED*-A Graph Reducer for a Full-Fledged lambda-Calculus.

Claudia Schmittgen Harald Blödorn Werner E. Kluge

Published in: New Gener. Comput. (1992)

Keyphrases

lambda calculus
programming language
structured data
predicate calculus
directed acyclic graph
complex objects
program understanding
database
high level
co occurrence