Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight
Logic in Computer Science
2007-05-23 v1
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.
Cite
@article{arxiv.cs/0607141,
title = {Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight},
author = {Karl Crary and Robert Harper},
journal= {arXiv preprint arXiv:cs/0607141},
year = {2007}
}
Comments
4 pages
Related papers
View all related →
Logic in Computer Science · Computer Science
Logic Column 14: Nominal Logic and Abstract Syntax
James Cheney
2007-05-23
Logic in Computer Science · Computer Science
Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax
Amy Felty, Alberto Momigliano
2010-05-27
Artificial Intelligence · Computer Science
A Formalisation of Abstract Argumentation in Higher-Order Logic
Alexander Steen, David Fuenmayor
2021-10-19
Logic in Computer Science · Computer Science
Reasoning with Higher-Order Abstract Syntax in a Logical Framework
Raymond C. McDowell, Dale A. Miller
2007-05-23
Logic in Computer Science · Computer Science
Logic Column 17: A Rendezvous of Logic, Complexity, and Algebra
Hubie Chen
2007-05-23
Logic in Computer Science · Computer Science
Logic Column 10: Specifying Confidentiality
Riccardo Pucella
2007-05-23
Logic in Computer Science · Computer Science
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks
Amy P. Felty, Alberto Momigliano, Brigitte Pientka
2015-03-23
Logic in Computer Science · Computer Science
Relating Nominal and Higher-order Abstract Syntax Specifications
Andrew Gacek
2010-05-17
Logic in Computer Science · Computer Science
Bialgebraic Reasoning on Higher-Order Program Equivalence
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
2024-05-17
Logic in Computer Science · Computer Science
Open Higher-Order Logic (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
2022-11-22
cmp-lg · Computer Science
Using Higher-Order Logic Programming for Semantic Interpretation of Coordinate Constructs
Seth Kulick
2008-02-03
Artificial Intelligence · Computer Science
NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
Rizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, Peng Gao
2026-02-17
Logic in Computer Science · Computer Science
Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic
Zhaohua Luo
2008-10-20
Artificial Intelligence · Computer Science
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
David Fuenmayor, Christoph Benzmüller
2020-07-03
Computation and Language · Computer Science
Sentence Embeddings and High-speed Similarity Search for Fast Computer Assisted Annotation of Legal Documents
Hannes Westermann, Jaromir Savelka, Vern R. Walker, Kevin D. Ashley +1
2021-12-23
Programming Languages · Computer Science
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2014-04-17
Logic in Computer Science · Computer Science
Binary Non-Termination in Term Rewriting and Logic Programming
Étienne Payet
2023-07-24
Logic in Computer Science · Computer Science
Lecture Notes on Monadic First- and Second-Order Logic on Strings
Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella +1
2023-01-26
cmp-lg · Computer Science
Corrections and Higher-Order Unification
Claire Gardent, Michael Kohlhase, Noor van Neusen
2008-02-03
cmp-lg · Computer Science
Higher-order Linear Logic Programming of Categorial Deduction
Glyn Morrill
2016-08-31
Logic in Computer Science · Computer Science
First-order Logic as a Constraint Programming Language
K. R. Apt, C. F. M. Vermeulen
2007-05-23
Programming Languages · Computer Science
Towards Assertion-based Debugging of Higher-Order (C)LP Programs
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2014-06-03
Artificial Intelligence · Computer Science
Quantified Conditional Logics are Fragments of HOL
Christoph Benzmueller, Valerio Genovese
2012-04-27
Artificial Intelligence · Computer Science
Stratified Labelings for Abstract Argumentation
Matthias Thimm, Gabriele Kern-Isberner
2013-08-06
Logic · Mathematics
Bicategories, Biequivalence, and Bi-Interpretability
Anthony D'Arienzo, Vinny Pagano, Ian M. J. McInnis
2023-07-11