Pages that link to "Item:Q3000919"
From MaRDI portal
The following pages link to Introduction to Categories and Categorical Logic (Q3000919):
Displaying 14 items.
- Causal categories: relativistically interacting processes (Q352872) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism (Q516400) (← links)
- A monad for randomized algorithms (Q1744376) (← links)
- Discrete density comonads and graph parameters (Q2104475) (← links)
- Phase groups and the origin of non-locality for qubits (Q2825362) (← links)
- (Q4888329) (← links)
- (Q5020645) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- (Q5119390) (← links)
- Interacting quantum observables: categorical algebra and diagrammatics (Q5135836) (← links)
- (Q5193160) (← links)
- The far side of the cube. An elementary introduction to game semantics (Q6612782) (← links)
- Constraint satisfaction, graph isomorphism, and the pebbling comonad (Q6612794) (← links)