Pages that link to "Item:Q557798"
From MaRDI portal
The following pages link to A complexity analysis of functional interpretations (Q557798):
Displaying 9 items.
- A complexity analysis of functional interpretations (Q557798) (← links)
- Elimination of Skolem functions for monotone formulas in analysis (Q1267846) (← links)
- Extracting Herbrand disjunctions by functional interpretation (Q2486989) (← links)
- Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory (Q2836179) (← links)
- Hybrid functional interpretations of linear and intuitionistic logic (Q2882562) (← links)
- Analysing the complexity of functional programs: higher-order meets first-order (Q2981952) (← links)
- The complexity space of partial functions: a connection between complexity analysis and denotational semantics (Q3008383) (← links)
- Functional translation of a calculus of capabilities (Q5178764) (← links)
- On the Herbrand Functional Interpretation (Q6330328) (← links)