Skip navigation
Skip navigation

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

Cheney, James; Norrish, Michael; Vestergaard, Rene


Adequacy is an important criterion for judging whether a formalization is suitable for reasoning about the actual object of study. The issue is particularly subtle in the expansive case of approaches to languages with name-binding. In prior work, adequacy has been formalized only with respect to specific representation techniques. In this article, we give a general formal definition based on model-theoretic isomorphisms or interpretations. We investigate and formalize an adequate interpretation...[Show more]

CollectionsANU Research Publications
Date published: 2012
Type: Journal article
Source: Journal of Automated Reasoning
DOI: 10.1007/s10817-011-9221-6


File Description SizeFormat Image
01_Cheney_Formalizing_Adequacy:_A_Case_2012.pdf871.45 kBAdobe PDF    Request a copy
02_Cheney_Formalizing_Adequacy:_A_Case_2012.pdf1 MBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator