Category:Type theorists
Scholars and mathematicians who have contributed to the development and study of type theory in logic and computer science.
Pages in category "Type theorists"
This category contains only the following page.
Scholars and mathematicians who have contributed to the development and study of type theory in logic and computer science.
This category contains only the following page.