| 11. | This field of research is usually referred to as modern type theory.
|
| 12. | These notions extend directly to lambda calculus and type theory, respectively.
|
| 13. | It stated what type formers could be added to the type theory.
|
| 14. | The system developed and added features over time as type theory developed.
|
| 15. | In simple type theory objects are elements of various disjoint " types ".
|
| 16. | This is a current research area in Homotopy Type Theory ( HoTT ).
|
| 17. | An active area of research is the univalent foundations arising from homotopy type theory.
|
| 18. | Type theories also contain rules for rewriting terms.
|
| 19. | In intuitionistic type theory, the equality type is known as I for identity.
|
| 20. | The intersection of logic and type theory is a vast and active research area.
|
