A formal treatment of the Barendregt variable convention in rule inductions
Citation
Urban, C & Norrish, M 2005, 'A formal treatment of the Barendregt variable convention in rule inductions', ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with VarIable BiNding (MERLIN 2005), ed. Alberto Momigliano, Randy Pollack, Association for Computing Machinery Inc (ACM), Tallinn, Estonia, pp. 25-32.Year
2005ANU Authors
Field of Research
- Computational Logic And Formal Languages