Pages that link to "Item:Q3637199"
From MaRDI portal
The following pages link to Kripke Semantics for Martin-Löf’s Extensional Type Theory (Q3637199):
Displayed 2 items.
The following pages link to Kripke Semantics for Martin-Löf’s Extensional Type Theory (Q3637199):
Displayed 2 items.