This is an old revision of the document!

Type

Type

The type of all other types under consideration. See Type theory for a longer discussion.

Parents

Type theory

Link to graph
Log In
Improvements of the human condition
limeGraphxioms