A functional functional interpretation

DOI10.1145/2603088.2603094MaRDI QIDQ4635662zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(6)

• Functional translation of a calculus of capabilities
• is for Dialectica
• 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)