Pages that link to "Item:Q5277976"
From MaRDI portal
The following pages link to An extensional Kleene realizability semantics for the Minimalist Foundation (Q5277976):
Displayed 4 items.
- A categorical reading of the numerical existence property in constructive foundations (Q2080594) (← links)
- On Choice Rules in Dependent Type Theory (Q2988806) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- Dynamics in Foundations: What Does It Mean in the Practice of Mathematics? (Q6075440) (← links)