Pages that link to "Item:Q5195282"
From MaRDI portal
The following pages link to Formalizing Restriction Categories (Q5195282):
Displaying 6 items.
- A formal identification between tuples and lists with an application to list-arithmetic categories (Q1346222) (← links)
- Formalizing abstract computability: Turing categories in Coq (Q2333325) (← links)
- Differential restriction categories (Q2884470) (← links)
- (Q5185705) (← links)
- New Computational Paradigms (Q5717060) (← links)
- Restriction categories III: colimits, partial limits and extensivity (Q5756980) (← links)