A formal treatment of the Barendregt Variable Convention in rule inductions (2005)

by Christian Urban
Venue:In MERLIN ’05: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized
Citations:12 - 4 self