Intended as a type theory counterpart of Paul Halmos's (1960) "Naïve Set Theory"* Covers type theory in depth, including polymorphic and dependent type extensions.
Προορισμένο ως ομόλογο του "Naive Set Theory" του Paul Halmos (1960) σχετικά με τη θεωρία τύπων* Covers type theory in depth, including polymorphic and dependent type extensions.