Discrete Lawvere theories and computational effects
From MaRDI portal
(Redirected from Publication:860883)
Recommendations
- Algebra and Coalgebra in Computer Science
- Countable Lawvere theories and computational effects
- Publication:4939149
- scientific article; zbMATH DE number 4058083
- scientific article; zbMATH DE number 2075224
- scientific article; zbMATH DE number 2054655
- Dispersive computational continua
- Discrete and Continuous Simulation
- Computational Conley theory
- Discrete mathematics, discrete physics and numerical methods
Cites work
- scientific article; zbMATH DE number 1705158 (Why is no real title available?)
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- scientific article; zbMATH DE number 4179422 (Why is no real title available?)
- scientific article; zbMATH DE number 3855352 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3716749 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 46995 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1086712 (Why is no real title available?)
- scientific article; zbMATH DE number 1469900 (Why is no real title available?)
- scientific article; zbMATH DE number 1759622 (Why is no real title available?)
- scientific article; zbMATH DE number 1373521 (Why is no real title available?)
- scientific article; zbMATH DE number 2087441 (Why is no real title available?)
- A Powerdomain Construction
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Algebra and Coalgebra in Computer Science
- Combining algebraic effects with continuations
- Combining effects: sum and tensor
- Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
- Foundations of Software Science and Computation Structures
- Monads on symmetric monoidal closed categories
- Notions of computation and monads
- Pseudo-commutative monads and pseudo-closed 2-categories
- Retracted: Semantic domains for combining probability and non-determinism
- Sketches
- Stable power domains
- The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
- Two-dimensional monad theory
- Varieties of chain-complete algebras
- Why tricategories?
Cited in
(18)- Unguarded recursion on coinductive resumptions
- Backtracking with cut via a distributive law and left-zero monoids
- Unguarded recursion on coinductive resumptions
- Algebra and Coalgebra in Computer Science
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base
- Enriched Lawvere theories for operational semantics
- Eilenberg-Moore monoids and backtracking monad transformers
- Combining effects: sum and tensor
- Sum and tensor of quantitative effects
- Graded algebraic theories
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Computational effects and operations: an overview
- Two guarded recursive powerdomains for applicative simulation
- Towards Effects in Mathematical Operational Semantics
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- Tensors of comodels and models for operational semantics
This page was built for publication: Discrete Lawvere theories and computational effects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q860883)
