MERLIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estonia
ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
Bok Engelsk 2005