A functional functional interpretation

DOI10.1145/2603088.2603094zbMATH Open1394.03072OpenAlexW2084018688MaRDI QIDQ4635662FDOQ4635662

Authors: Pierre-Marie Pédrot 

Publication date: 23 April 2018

Published in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2603088.2603094

Recommendations

• A functional interpretation with state
• Hybrid Functional Interpretations
• Functional interpretation and inductive definitions
• A complexity analysis of functional interpretations
• Bounded functional interpretation
• On bounded functional interpretations
• Functional interpretation and the existence property
• On interpretation of functional programming languages
• On the Herbrand functional interpretation

zbMATH Keywords

dependent typeslinear logicabstract machineCurry-HowardDialectica translation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functionals in proof theory (03F10)

Cited In (5)

• Functional translation of a calculus of capabilities
• Functional interpretation and the existence property
• The Dialectica interpretation of first-order classical affine logic
• The Dialectica monad and its cousins
• Dialectica logical principles

This page was built for publication: A functional functional interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635662)