×

Found 7 Documents (Results 1–7)

Hybrid functional interpretations. (English) Zbl 1142.03368

Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 251-260 (2008).
MSC:  03F10 03F52 03B70
PDFBibTeX XMLCite
Full Text: DOI

Synthesis of moduli of uniform continuity by the monotone Dialectica interpretation in the proof-system MinLog. (English) Zbl 1278.03087

Momigliano, Alberto (ed.) et al., Proceedings of the first international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2006), Seattle, WA, USA, August 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 5, 141-149 (2007).
MSC:  03F07 03F10 03B70 68T15
PDFBibTeX XMLCite
Full Text: Link

Light Dialectica program extraction from a classical Fibonacci proof. (English) Zbl 1277.03057

Jouannaud, Jean-Pierre (ed.) et al., Proceedings of the second international workshop on developments in computational models (DCM 2006), Venice, Italy, July 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 171, No. 3, 43-53 (2007).
MSC:  03F10 03B35 03B70 03F20 68T15
PDFBibTeX XMLCite
Full Text: DOI

Light functional interpretation. An optimization of Gödel’s technique towards the extraction of (more) efficient programs from (classical) proofs. (English) Zbl 1136.03333

Ong, Luke (ed.), Computer science logic. 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28231-9/pbk). Lecture Notes in Computer Science 3634, 477-492 (2005).
MSC:  03F07 03F10 03B70
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field