Table of Contents
About
In mathematics and theoretical computer science , a thpe theory is the formal presentation of a specific type system; type theory is the academic study of type systems 1.
Anki
Links
References
Wikipedia. “Type Theory”. Available at: https://en.wikipedia.org/wiki/Type_theory . (Accessed: ). ↩︎