Learning Pathways
Type theory
In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system.
Search categories:
Please select or search for a category
Pathways filed under type theory:
