activity
20062025
most citedProceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

4 citations · 9 across the 5 of their papers we have counts for

collaborators
Showing 2006Show all

1 paper · 1 filter

cs.LO2006★ 3 cited

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

Karl Crary, Robert Harper

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