A formalism for the specification of essentially-algebraic structures in 2-categories
DOI10.1017/S0960129500001110zbMath0754.18006OpenAlexW2075314089MaRDI QIDQ4006237
No author found.
Publication date: 26 September 1992
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129500001110
operational semantics2-categoriesrewrite rulesweighted limitscategory-based methodology for the description of functional programming languageshigher-order constructionshigher-order two-dimensional sketchpath grammar
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The combinatorics of n-categorical pasting
- A 2-categorical pasting theorem
- A generalization of the concept of sketch
- The algebra of oriented simplexes
- Two-dimensional monad theory
- Limits indexed by category-valued 2-functors
- Flexible limits for 2-categories
This page was built for publication: A formalism for the specification of essentially-algebraic structures in 2-categories