1. Knowra
  2. Type theory
  3. Linked from

Linked from

The 35 pages that link to Type theory, each with the reason it gives.

All 35Broader topic 1Related 19Narrower topic 2Compared with 13
  • LogicismBroader topic: Russell and Whitehead used a type hierarchy to block the paradox that damaged Frege’s system.

Machine generatedConnect to another ideaRandom page