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
2003ANU Authors
Field of Research
- Computation Theory And Mathematics Not Elsewhere Classified