The following pages link to Unifying functional interpretations (Q867407):
Displaying 13 items.
- On bounded functional interpretations (Q424545) (← links)
- Light Dialectica revisited (Q636373) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- A unified functional look at completion in MET, UNIF and AP (Q1840748) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Light Dialectica program extraction from a classical Fibonacci proof (Q2864211) (← links)
- A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\) (Q2921035) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- (Q4242483) (← links)
- A functional functional interpretation (Q4635662) (← links)
- (Q5028422) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)
