MERLIN '05 proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia / - Momigliano, Alberto.; Pollack, R. (Association for Computing Machinery,)