Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names
Under a Creative Commons license
open access
Keywords
cartesian closed category
monoidal closed category
enriched algebraic theories
Cited by (0)
Copyright © 2009 Elsevier B.V.