pith. sign in

arxiv: cs/0607141 · v1 · submitted 2006-07-31 · 💻 cs.LO

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

Karl Crary , Robert Harper This is my paper
classification 💻 cs.LO
keywords abstractlogicsyntaxcolumnhigher-orderappearingarticlecritique
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.