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)