A functional functional interpretation

DOI10.1145/2603088.2603094zbMATH Open1394.03072OpenAlexW2084018688MaRDI QIDQ4635662FDOQ4635662

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)

Cited In (3)

• Functional translation of a calculus of capabilities
• Functional interpretation and the existence property
• Dialectica logical principles

   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 👍 👎

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)