Pages that link to "Item:Q4366773"
From MaRDI portal
The following pages link to Premonoidal categories and notions of computation (Q4366773):
Displaying 44 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Monad transformers as monoid transformers (Q615955) (← links)
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Von Neumann categories (Q748710) (← links)
- Generic models for computational effects (Q860841) (← links)
- Commutativity (Q899553) (← links)
- Icons (Q987490) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- A representable approach to finite nondeterminism (Q1391859) (← links)
- Modelling environments in call-by-value programming languages. (Q1427853) (← links)
- A representation result for free cocompletions (Q1584038) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Premonoidal categories as categories with algebraic structure (Q1605185) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Equilogical spaces and algebras for a double-power monad (Q1683371) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Polarized games (Q1886321) (← links)
- On the call-by-value CPS transform and its semantics (Q1887170) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- From global to local state, coalgebraically and compositionally (Q2133173) (← links)
- Eilenberg-Kelly reloaded (Q2133479) (← links)
- Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
- Elements of a theory of algebraic theories (Q2253182) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- A game semantics of names and pointers (Q2474444) (← links)
- GS·Λ Theories (Q2842817) (← links)
- A Categorical Semantics of Higher Order Store (Q2842823) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- Coalgebraic Components in a Many-Sorted Microcosm (Q2888477) (← links)
- A Semantical Approach to Equilibria and Rationality (Q2888496) (← links)
- Categorifying Computations into Components via Arrows as Profunctors (Q2919448) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- What is a Categorical Model of Arrows? (Q5166619) (← links)
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations (Q6057501) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- On the Pre- and Promonoidal Structure of Spacetime (Q6150163) (← links)
- Promonads and String Diagrams for Effectful Categories (Q6150166) (← links)
