Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight
| dc.creator | Crary, Karl | |
| dc.creator | Harper, Robert | |
| dc.date | 2006-07-31 | |
| dc.date.accessioned | 2026-07-07T07:16:27Z | |
| dc.date.available | 2026-07-07T07:16:27Z | |
| dc.description | This article responds to a critique of higher-order abstract syntax appearing in Logic Column 14, ``Nominal Logic and Abstract Syntax'', cs.LO/0511025. | |
| dc.description | 4 pages | |
| dc.identifier | https://arxiv.org/abs/cs/0607141 | |
| dc.identifier | http://arxiv.org/abs/cs/0607141 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/113596 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | F.4.1; F.3.1 | |
| dc.title | Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight | |
| dc.type | text |