Nominal Lawvere theories: a category theoretic account of equational theories with names

DOI10.1016/J.JCSS.2014.04.002MaRDI QIDQ2453579zbMATH OpenOpenAlexFDO

Authors Ranald A. Clouston

Publication date 10 June 2014

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2014.04.002

zbMATH Keywords

Lawvere theoriesnominal setsequational logicpermutation actionsfresh names

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Functional programming and lambda calculus (68N18)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (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?)
• A calculus of mobile processes. I
• A new approach to abstract syntax with variable binding
• About \({|}/{|}\)-quantifiers
• Alpha-structural recursion and induction
• Binding in nominal equational logic
• Categories for Types
• Classifying categories for partial equational logic
• Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Generalized algebraic theories and contextual categories
• Global actions, groupoid atlases and applications
• Indexed Lawvere theories for local state
• Nominal (universal) algebra: equational logic with names and binding
• Nominal Algebra and the HSP Theorem
• Nominal Lawvere Theories
• Nominal equational logic
• Nominal rewriting
• Notions of Lawvere theory
• On universal algebra over nominal sets
• Second-Order Algebraic Theories
• Some Varieties of Equational Logic
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• Theorem Proving in Higher Order Logics

Cited in

(6)

• Equational Systems and Free Constructions (Extended Abstract)
• Nominal sets. Names and symmetry in computer science
• Binding in nominal equational logic
• The nominal/FM Yoneda lemma
• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• Nominal Lawvere Theories

Describes a project that uses

Uses Software

• PoplMark

This page was built for publication: Nominal Lawvere theories: a category theoretic account of equational theories with names

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