Search results
We did not find results for: Type theory.
Check spelling or type a new query.
We did not find results for: Type theory.
Check spelling or type a new query.
Concept in mathematical logic and computer science
In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that have been proposed as foundations are: Wikipedia