Troullinos, Nikos B. (PDF) Quantity in Basket: None Code: 2337570PDF Price: $24.00 Quantity: Troullinos, Nikos B.; ISBN 1612337570; Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction (pdf file)