The following pages link to The theory of semi-functors (Q4279250):
Displaying 5 items.
- Comparing models of the intensional typed \(\lambda\)-calculus (Q671646) (← links)
- Predicate transformers and higher-order programs (Q672318) (← links)
- Some algebraic problems in the context of functorial semantics of algebraic theories (Q5602981) (← links)
- Fusion of recursive programs with computational effects (Q5941164) (← links)
- Semiseparable functors and conditions up to retracts (Q6607369) (← links)