Type Theory
- Category :
- Concept
- Tags :
- general_computing_gleanings
- computer_science
- programming_languages_and_compilers
- t
- Created:
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 systems1.
Anki
Links
References
Wikipedia. “Type Theory”. Available at: https://en.wikipedia.org/wiki/Type_theory. (Accessed: ). ↩︎
Share :
Other Articles
- Published:
- API Lifecycle - Design
- Category: Concept
- Published:
- All Diagrams: B
- Category: Raw