Pages that link to "Item:Q4531082"
From MaRDI portal
The following pages link to Extensionality versus constructivity (Q4531082):
Displaying 5 items.
- The inconsistency of higher order extensions of Martin-Löf's type theory (Q583201) (← links)
- A cartesian closed category in Martin-Löf's intuitionistic type theory (Q1853587) (← links)
- Extensional set equality in the calculus of constructions (Q2752532) (← links)
- Relative constructivity (Q4254679) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)