A formal treatment of the Barendregt variable convention in rule inductions
|Collections||ANU Research Publications|
|Source:||MERLIN 2005: Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding|
There are no files associated with this item.
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.