Back
Ramified type theory
Redirect to:
Principia Mathematica#Ramified types and the axiom of reducibility
From
Wikipedia
, the free encyclopedia ยท View on
Wikipedia
Developed by
Tubidy