Pages that link to "Item:Q1931902"
From MaRDI portal
The following pages link to Programming from Galois connections (Q1931902):
Displaying 7 items.
- On the definition of suitable orderings to generate adjunctions over an unstructured codomain (Q508629) (← links)
- Programming from metaphorisms (Q1683699) (← links)
- On the construction of adjunctions between a fuzzy preposet and an unstructured set (Q1697519) (← links)
- Formal derivation of greedy algorithms from relational specifications: a tutorial (Q2374306) (← links)
- Kernels, in a nutshell (Q2374308) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- Generating Isotone Galois Connections on an Unstructured Codomain (Q5227374) (← links)
