editors, MERLIN 2001: Proceedings of the Workshop on MEchanized Reasoning about Languages with variable bINding, volume 58 (2001)

by In S Ambler, R Crole, A Momigliano
Venue:of Electronic Notes in Theoretical Computer Scienc