Related words: type theory pdf, type theory in computer science, typology, type theory for computer science, type theory vs set theory, type theory articles, type theory book
Related questions:
What is type theory?
What is typology?
What is the difference between type theory and set theory?
What is the definition of type theory?