Type Theory
Table of Contents
A precedent read for this would be Set Theory. A postcedent read for this would be Proof Theory.
It might be beneficial to structure entities into relevant categories when it comes to ordering knowledge. Types are prevalent in everyday life as well.
1. Formal
To be populated
2. Practical
2.1. Schema
- a type specification for records when it comes to working with a DataBase
- also used more casually when talking about the representation specification of serialized data