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

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

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.
4 pages

Keywords

Logic in Computer Science, F.4.1; F.3.1

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/113596

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0607141
 http://arxiv.org/abs/cs/0607141

Collections

arXiv