A Metalanguage for Programming with Bound Names Modulo Renaming. Pitts, A. M. and Gabbay, M. In Backhouse, R. C. and Oliveira, J. N., editors, Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings, volume 1837, of Lecture Notes in Computer Science, pages 230–255, 2000. Springer.
A Metalanguage for Programming with Bound Names Modulo Renaming [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/mpc/PittsG00,
  author    = {Andrew M. Pitts and
               Murdoch Gabbay},
  editor    = {Roland Carl Backhouse and
               Jos{\'{e}} Nuno Oliveira},
  title     = {A Metalanguage for Programming with Bound Names Modulo Renaming},
  booktitle = {Mathematics of Program Construction, 5th International Conference,
               {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1837},
  pages     = {230--255},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10722010\_15},
  doi       = {10.1007/10722010\_15},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/mpc/PittsG00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0