A New Machine-checked Proof of Strong Normalisation for Display Logic

Citation

Dawson, J & Gore, R 2003, 'A New Machine-checked Proof of Strong Normalisation for Display Logic', Computing: The Australasian Theory Symposium (CATS 2003), ed. James Harland, Elsevier, Netherlands, pp. 20-39.

Year

2003

ANU Authors

Field of Research

  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  15 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers