Concepedia
Transactions of the American Mathematical Society · 1969 · 315 citations · 0 references
ComputingComputer ScienceCombinatoricsLogicProgramming LanguagesCategory TheoryData TypesModel TheoryObject-oriented ProgrammingType CheckingType SystemsPolymorphic Type SystemsPolymorphic TypesType ClassesType TheoryType-logical Semantics