Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction by
31,19 €
We consider systems having full reduction semantics, i.e., equivalence-preserving transformations of functions. The historic lineage from Eval-Apply to SECD to RTNF/RTLF culminates in the techniques of normal-order graph Head Order Reduction (HOR).
Jetzt bei Ebay:
