%0 Book
%A A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
%T MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
%U /book/101388659/MERLIN-05-proceedings-of-the-Third-ACM-SIGPLAN/