The following pages link to (Q3978981):
Displaying 7 items.
- Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
- Variations on the bagdomain theme (Q1349648) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- (Q4311229) (← links)
- The Scott model of PCF in univalent type theory (Q5055497) (← links)
- Lifting as a KZ-doctrine (Q5057470) (← links)
- Injective types in univalent mathematics (Q5156770) (← links)
