Pages that link to "Philosophy:Dialectica interpretation"
From HandWiki
The following pages link to Philosophy:Dialectica interpretation:
Displayed 15 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Proof theory (← links)
- Dialectica space (← links)
- Simply typed lambda calculus (← links)
- Typed lambda calculus (← links)
- Realizability (← links)
- Primitive recursive functional (← links)
- Intuitionistic logic (← links)
- Heyting arithmetic (← links)
- Curry–Howard correspondence (← links)
- Second-order arithmetic (← links)
- Philosophy:Infinite-valued logic (← links)
- Philosophy:Double-negation translation (← links)
- Philosophy:History of logic (← links)
- Biography:Kurt Gödel (← links)
- Biography:Valeria de Paiva (← links)