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/25

ER  -