The following pages link to Multi-Sorted Residuation (Q5414962):
Displaying 7 items.
- On the Complexity of the Equational Theory of Residuated Boolean Algebras (Q2820699) (← links)
- Extensible Datasort Refinements (Q2988653) (← links)
- (Q3641270) (← links)
- (Q4037442) (← links)
- Sorting Multidimensional Types: Theory and Application (Q4610846) (← links)
- (Q4736520) (← links)
- Soft typing for ordered resolution (Q5234715) (← links)