Abstract clones for abstract syntax

DOI10.4230/LIPICS.FSCD.2021.30arXiv2105.00969MaRDI QIDQ6159946FDOQ6159946

Authors: Nathanael Arkor, Dylan McDermott 

Publication date: 23 June 2023

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

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

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)

Cited In (5)

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

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)