Pages that link to "Item:Q3000919"
From MaRDI portal
The following pages link to Introduction to Categories and Categorical Logic (Q3000919):
Displaying 5 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)
