Login / Signup
Head order reduction: A graph reduction scheme for the operational lambda calculus.
Klaus J. Berkling
Published in:
Graph Reduction (1986)
Keyphrases
</>
lambda calculus
artificial intelligence
object oriented
query optimization