Simon Ambler, Roy L. Crole, Alberto Momigliano. Preface: Mechanised Reasoning about Languages with Variable Binding 2001. Theoretical Computer Science, 58(1):115-116, 2001. [doi]
@article{AmblerCM01, title = {Preface: Mechanised Reasoning about Languages with Variable Binding 2001}, author = {Simon Ambler and Roy L. Crole and Alberto Momigliano}, year = {2001}, url = {http://www.elsevier.nl/locate/entcs/volume58.html}, tags = {variable binding}, researchr = {https://researchr.org/publication/AmblerCM01}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {58}, number = {1}, pages = {115-116}, }