Pages that link to "Item:Q1605185"
From MaRDI portal
The following pages link to Premonoidal categories as categories with algebraic structure (Q1605185):
Displaying 12 items.
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- Generic models for computational effects (Q860841) (← links)
- Enriched categories as a free cocompletion (Q904009) (← links)
- Modelling environments in call-by-value programming languages. (Q1427853) (← links)
- Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← links)
- Models for the computational λ-calculus (Q4923379) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- Pre-semihyperadditive Categories (Q5227933) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- Promonads and String Diagrams for Effectful Categories (Q6150166) (← links)
- What is the universal property of the 2-category of monads? (Q6593816) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)