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.
Ooo that cool good thing I learn from this app
FeCl3 very commonly reacts with phenol groups.
hope this helps!!
6 x .129 x 2= 1.55J
q = mass x specific heat x delta T.