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

2005

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers