Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction Nikos B. Troullinos

Available in Paperback Available in eBook editions (PDF format) Institution: Syracuse University (Syracuse, NY, USA) Advisor(s): Prof. Klaus J. Berkling Degree: Ph.D. in Computer and Information Science Year: 1993 Book Information: 248 Это и многое другое вы найдете в книге Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction (Nikos B. Troullinos)