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

abstract clonesfree algebrasinductionlogical relationspresentationssecond-order abstract syntaxsimple type theoriessubstitutionvariable binding

Mathematics Subject Classification ID

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

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

(6)

• Generalization-Driven Semantic Clone Detection in CLP
• Semantics for abstract clauses
• Variable binding and substitution for (nameless) dummies
• Variable binding and substitution for (nameless) dummies
• Clones, closed categories, and combinatory logic
• Modular abstract syntax trees (MAST): substitution tensors with second-class sorts

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)