Return to Article Details Generality of Logical Types Download Download PDF