Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/113596This article responds to a critique of higher-order abstract syntax appearing in Logic Column 14, ``Nominal Logic and Abstract Syntax'', cs.LO/0511025.4 pagesLogic in Computer ScienceF.4.1; F.3.1Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straighttext