ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (3rd 2005 Tallinn, Estonia)
Is this your author profile? Create an account to claim and customize it!
Is this your author profile? Create an account to claim and customize it!