Binding in nominal equational logic

DOI10.1016/J.ENTCS.2010.08.016MaRDI QIDQ3178258zbMATH OpenOpenAlexFDO

Authors Ranald A. Clouston

Publication date 8 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2010.08.016

zbMATH Keywords

alpha-conversionequational logicname bindingnominal setsnominal signatures

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Nominal equational logic
• scientific article; zbMATH DE number 2242589
• Nominal logic, a first order theory of names and binding
• Nominal (universal) algebra: equational logic with names and binding
• Nominal Lawvere theories: a category theoretic account of equational theories with names

Cites work

• A head-to-head comparison of de Bruijn indices and names
• A new approach to abstract syntax with variable binding
• An Oxford survey of order sorted algebra
• Computer Science Logic
• scientific article; zbMATH DE number 432732 (Why is no real title available?)
• scientific article; zbMATH DE number 4179332 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• scientific article; zbMATH DE number 2242589 (Why is no real title available?)
• Nominal (universal) algebra: equational logic with names and binding
• Nominal equational logic
• Nominal system T
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(10)

• Nominal Lawvere theories: a category theoretic account of equational theories with names
• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• Nominal equational logic
• A Formal Calculus for Informal Equality with Binding
• Nominal (universal) algebra: equational logic with names and binding
• Unity in nominal equational reasoning: the algebra of equality on nominal sets
• Alpha equivalence equalities
• Modular specification of monads through higher-order presentations
• Equational Systems and Free Constructions (Extended Abstract)
• Nominal logic with equations only

This page was built for publication: Binding in nominal equational logic

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