Unifying functional interpretations
From MaRDI portal
Publication:867407
Recommendations
Cited in
(13)- Computational interpretations of classical reasoning: from the epsilon calculus to stateful programs
- scientific article; zbMATH DE number 1285772 (Why is no real title available?)
- On bounded functional interpretations
- A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\)
- Functional interpretations of linear and intuitionistic logic
- scientific article; zbMATH DE number 7471663 (Why is no real title available?)
- A unified functional look at completion in MET, UNIF and AP
- A parametrised functional interpretation of Heyting arithmetic
- Functional un\(|\)unparsing
- Hardwiring truth in functional interpretations
- Light Dialectica revisited
- Light Dialectica program extraction from a classical Fibonacci proof
- Unifying functional interpretations: past and future
This page was built for publication: Unifying functional interpretations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q867407)