Title
A Graph-Like Lambda Calculus for Which Leftmost-Overmost Reduction is Optimal
Abstract
Without Abstract
Year
DOI
Venue
1978
10.1007/BFb0025740
Graph-Grammars and Their Application to Computer Science and Biology
Keywords
Field
DocType
leftmost-overmost reduction,graph-like lambda calculus,lambda calculus
Discrete mathematics,Graph,Lambda calculus,Binary lambda calculus,Computer science
Conference
ISBN
Citations 
PageRank 
3-540-09525-X
6
0.83
References 
Authors
1
1
Name
Order
Citations
PageRank
John Staples110322.59