information about Setoid field

Setoid

http://en.wikipedia.org/wiki/Setoid
Field Hierarchy
Parent
Adequate equivalence relation
0 papers
Type theory
2,594 papers
Current
Setoid
1 papers
Child
Trends