<h1 id="type-theory">Type Theory<a aria-hidden="true" class="anchor-heading icon-link" href="#type-theory"></a></h1>
<hr>
<strong>Children</strong>
<ol>
<li><a href="/cs/notes/rn3m3a5d2ub5qeze8261o3h">Casting</a></li>
<li><a href="/cs/notes/a5bo0nwhh60eg9nrs3p1p34">Subclassing</a></li>
<li><a href="/cs/notes/xfut1n2v6d1ivozx0wxbb4l">Substitutability</a></li>
<li><a href="/cs/notes/opkn0z4g79yp7j5e2mklyfv">Subtyping</a></li>
<li><a href="/cs/notes/6yfy66pd40yrpmh4au5z1sf">Variance</a></li>
</ol>

Type Theory



These notes are arranged into the below topics:

- AI (Sorry this is on the top, list is alphabetic)
- [[arch]]
- Data
- Execution
- Languages
- Semantics
- [[paradigm]]
- Philosophy
- Dev
- Tools
- Type Theory

## References

- Hierarchy inpiration - [Map of Computer Science](https://www.flickr.com/photos/95869671@N08/36231833334/in/photostream/lightbox/)