Work

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

Year: 2006

Type: preprint

Abstract: This article responds to a critique of higher-order abstract syntax appearing in Logic Column 14, ``Nominal Logic and Abstract Syntax'', cs.LO/0511025.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.cs/0607141

Authors: Crary, Karl, Harper, Robert

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1571925854

Cites: 3

Cited by: 3

Related to: 10