Nikos B. Troullinos profile picture

Nikos B. Troullinos

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction