Pages that link to "Item:Q4006227"

The following pages link to Pre-adjunctions in order enriched categories (Q4006227):

Displaying 4 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)
• The virtues of eta-expansion (Q4850162) (← links)