scientific article; zbMATH DE number 7297850
From MaRDI portal
Publication:5144649
zbMath1452.08005arXiv1804.01682MaRDI QIDQ5144649
Prakash Panangaden, Radu Mardare, Gordon D. Plotkin
Publication date: 19 January 2021
Full work available at URL: https://arxiv.org/abs/1804.01682
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of universal algebra in computer science (08A70) Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15)
Related Items (6)
Finitary monads on the category of posets ⋮ Metric monads ⋮ Divergences on monads for relational program logics ⋮ Unnamed Item ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability
This page was built for publication:
