The following pages link to Type inference for set theory (Q5958782):
Displaying 5 items.
- Setoid type theory -- a syntactic translation (Q2176677) (← links)
- Sets, types and type-checking (Q4943506) (← links)
- W-types in setoids (Q5155691) (← links)
- Type Inference for Correspondence Types (Q5170185) (← links)
- Checking Emptiness of Non-Deterministic Regular Types with Set Operators (Q5415619) (← links)