Pages that link to "Item:Q4006227"
From MaRDI portal
The following pages link to Pre-adjunctions in order enriched categories (Q4006227):
Displaying 6 items.
- Predicate transformers and higher-order programs (Q672318) (← links)
- A recursion theorem for predicate transformers on inductive data types (Q1330667) (← links)
- Towards patterns for heaps and imperative lambdas (Q2374314) (← links)
- (Q4663649) (← links)
- The virtues of eta-expansion (Q4850162) (← links)
- Pre-semihyperadditive Categories (Q5227933) (← links)