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

Cached

Download Links

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