Abstract clones for abstract syntax

DOI10.4230/LIPICS.FSCD.2021.30MaRDI QIDQ6159946zbMATH OpenFDO

Authors Nathanael Arkor, Dylan McDermott

Publication date 23 June 2023

Full work available at URL https://arxiv.org/abs/2105.00969

zbMATH Keywords

substitutionfree algebrasinductionabstract cloneslogical relationspresentationsvariable bindingsecond-order abstract syntaxsimple type theories

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Recommendations

• Algebraic models of simple type theories. A polynomial approach
• Polymorphic Abstract Syntax via Grothendieck Construction
• scientific article; zbMATH DE number 1692906
• A simple nominal type theory
• The theory of contexts for first order and higher order abstract syntax

Cited in

(5)

• Variable binding and substitution for (nameless) dummies
• Clones, closed categories, and combinatory logic
• Semantics for abstract clauses
• Variable binding and substitution for (nameless) dummies
• Generalization-Driven Semantic Clone Detection in CLP

This page was built for publication: Abstract clones for abstract syntax

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6159946)