The following pages link to (Q3532205):
Displaying 9 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- A Survey of Classical Realizability (Q3007652) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Relating Classical Realizability and Negative Translation for Existential Witness Extraction (Q3637195) (← links)
- On the Values of Reducibility Candidates (Q3637200) (← links)
- A realizability interpretation of Church's simple theory of types (Q4593235) (← links)
- Classical realizability and arithmetical formulæ (Q5360216) (← links)