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