Pages that link to "Item:Q5022925"

The following pages link to Model structure on the universe of all types in interval type theory (Q5022925):

Displaying 1 item.

• Model structures on categories of models of type theories (Q4961720) (← links)