Ramified type theory
Home
Wiki
Redirect to:
Principia Mathematica#Ramified types and the axiom of reducibility