ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (3rd 2005 Tallinn, Estonia)

Books by ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (3rd 2005 Tallinn, Estonia) on BookTides.