Pages that link to "Item:Q4198751"
From MaRDI portal
The following pages link to Interpretationen der Heyting-Arithmetik endlicher Typen (Q4198751):
Displaying 5 items.
- A complexity analysis of functional interpretations (Q557798) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- Logical problems of functional interpretations (Q5957851) (← links)
