Nominal Lawvere Theories

DOI10.1007/978-3-642-20920-8_11zbMath1326.68087OpenAlexW1630132839MaRDI QIDQ3003347

Ranald Clouston

Publication date: 27 May 2011

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20920-8_11

zbMATH Keywords

equational logicnominal setsLawvere theoryFraenkel-Mostowski set theoryfresh names

Mathematics Subject Classification ID

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

Related Items (5)

Nominal lambda calculus: an internal language for FM-Cartesian closed categories ⋮ Unity in nominal equational reasoning: the algebra of equality on nominal sets ⋮ Nominal Lawvere theories: a category theoretic account of equational theories with names ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ The nominal/FM Yoneda Lemma

This page was built for publication: Nominal Lawvere Theories