Pages that link to "Item:Q3794173"
From MaRDI portal
The following pages link to Dominical categories: recursion theory without elements (Q3794173):
Displayed 12 items.
- Introduction to Turing categories (Q998306) (← links)
- Categories of partial maps (Q1109871) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- More existence theorems for recursion categories. (Q1428035) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- Diagonal fixed points in algebraic recursion theory (Q2576642) (← links)
- Boolean and classical restriction categories (Q3625678) (← links)
- Precomplete Equivalence Relations in Dominical Categories (Q3741621) (← links)
- (Q3767474) (← links)
- Partial hyperdoctrines: categorical models for partial function logic and Hoare logic (Q4302334) (← links)
- Restriction categories III: colimits, partial limits and extensivity (Q5756980) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)