This is an introductory aimed specifically at non-theoreticians set of articles on OO type theory.
The Theory of Classification
Post replies via login host.