Pages that link to "Item:Q3985097"
From MaRDI portal
The following pages link to A construction of type: type in Martin-Löf's partial type theory with one universe (Q3985097):
Displayed 2 items.
The following pages link to A construction of type: type in Martin-Löf's partial type theory with one universe (Q3985097):
Displayed 2 items.