TY - JOUR T1 - The theory of classification part 7: A class is a type family JO - Journal of Object Technology UR - https://eprints.whiterose.ac.uk/79272/ PY - 2003/01/01 AU - Simons AJH ED - DO - DOI: 10.5381/jot.2003.2.3.c2 VL - 2 IS - 3 SP - 13 EP - 22 Y2 - 2024/12/22 ER -