Type theory was created to avoid paradoxes in previous foundations such as naive set theory, formal logics and rewrite systems.
Oh cool! I did it
1 Matching Annotations
- Aug 2020
-
en.wikipedia.org en.wikipedia.org
-
Type theory was created to avoid paradoxes in previous foundations such as naive set theory, formal logics and rewrite systems.
Oh cool! I did it