Enriched Lawvere Theories for Operational Semantics (Q5020957): Difference between revisions

@@ label / en / label / en @@
+Enriched Lawvere Theories for Operational Semantics
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.CT
@@ Property / arXiv classification: math.CT / rank @@
+Normal rank
@@ Property / arXiv classification @@
+cs.LO
@@ Property / arXiv classification: cs.LO / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05636
@@ Property / arXiv ID: 1905.05636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+New structures for physics
@@ Property / cites work: New structures for physics / rank @@
+Normal rank
@@ Property / cites work @@
+The enriched Grothendieck construction
@@ Property / cites work: The enriched Grothendieck construction / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal bicategories and Hopf algebroids
@@ Property / cites work: Monoidal bicategories and Hopf algebroids / rank @@
+Normal rank
@@ Property / cites work @@
+Kan extensions in enriched category theory
@@ Property / cites work: Kan extensions in enriched category theory / rank @@
+Normal rank
@@ Property / cites work @@
+Survey article: an elementary illustrated introduction to simplicial sets
+Normal rank
@@ Property / cites work @@
+Discrete Lawvere theories and computational effects
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Left Kan extensions preserving finite products
@@ Property / cites work: Left Kan extensions preserving finite products / rank @@
+Normal rank
@@ Property / cites work @@
+Sketches
@@ Property / cites work: Sketches / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the Conference on Categorical Algebra
+Normal rank
@@ Property / cites work @@
+Q4362961
@@ Property / cites work: Q4362961 / rank @@
+Normal rank
@@ Property / cites work @@
+Lawvere theories enriched over a general base
@@ Property / cites work: Lawvere theories enriched over a general base / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704209
@@ Property / cites work: Q4704209 / rank @@
+Normal rank