JOURNAL ARTICLE
Nominal Lawvere Theories: A category theoretic account of equational theories with names
Year: 2014 Journal: Journal of Computer and System Sciences Vol: 80 (6)Pages: 1067-1086 Publisher: Elsevier BV
Keywords:
Mathematics Category theory Mathematical economics Pure mathematics Discrete mathematics
Metrics
6
Cited By
1.93
FWCI (Field Weighted Citation Impact)
65
Refs
0.88
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Journal: Electronic Notes in Theoretical Computer Science Year: 2007 Vol: 172 Pages: 437-458
JOURNAL ARTICLE
Nominal anti-unification modulo equational theories
Alexander BaumgärtnerDaniele Nantes-Sobrinho
Journal: Journal of Logical and Algebraic Methods in Programming Year: 2025 Vol: 149 Pages: 101100-101100
JOURNAL ARTICLE
Enriched Lawvere theories
Journal: Theory and applications of categories Year: 1999 Vol: 06 Pages: 83-93
JOURNAL ARTICLE
Higher Lawvere theories
Journal: Journal of Pure and Applied Algebra Year: 2020 Vol: 224 (9)Pages: 106362-106362