234k views
5 votes
What are examples of a Theory ?

User Nalu
by
7.9k points

1 Answer

2 votes

Paradoxes and Russell's Type Theories.

Simple Type Theory and the λ -Calculus.

Ramified Hierarchy and Impredicative Principles.

Type Theory/Set Theory.

Type Theory/Category Theory.

Extensions of Type System, Polymorphism, Paradoxes.

Univalent Foundations.

User Deadboy
by
9.0k points

No related questions found

Welcome to QAmmunity.org, where you can ask questions and receive answers from other members of our community.