Books by Troullinos Nikos B
Troullinos Nikos B
Filter
Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction
Troullinos Nikos B
Paperback
Published:
2011