The following pages link to (Q4141228):
Displayed 4 items.
- Realisability in weak systems of explicit mathematics (Q3107339) (← links)
- Conservativity of equality reflection over intensional type theory (Q4647577) (← links)
- On the Computability of the Fan Functional (Q5214781) (← links)
- Elimination of extensionality in Martin-Löf type theory (Q6083693) (← links)