Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax

Citation

Cheney, J, Norrish, M & Vestergaard, R 2012, 'Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax', Journal of Automated Reasoning, vol. 49, no. 2, pp. 209-239.

Year

2012

ANU Authors

Field of Research

  • Pattern Recognition And Data Mining

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