Pages that link to "Item:Q2842593"

The following pages link to A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274. (Q2842593):

Displayed 5 items.

• Determinisation of relational substitutions in ordered categories with domain (Q604457) ‎ (← links)
• Monads for the formalization of a pattern matching procedure (Q2017780) ‎ (← links)
• Determinisation of Relational Substitutions in Ordered Categories with Domain (Q3498418) ‎ (← links)
• Partially Ordered Monads and Rough Sets (Q3600299) ‎ (← links)
• Categorical Innovations for Rough Sets (Q3628686) ‎ (← links)