Disjunctive normal forms and local exceptions

DOI10.1145/944705.944724zbMATH Open1315.68045OpenAlexW2149237094MaRDI QIDQ5261276FDOQ5261276

Authors: Emmanuel Beffara, Vincent Danos 

Publication date: 2 July 2015

Published in: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

Recommendations

• scientific article; zbMATH DE number 2185662
• scientific article; zbMATH DE number 1722654
• Publication:4490747
• An intuitionistic λ-calculus with exceptions
• On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem

zbMATH Keywords

disjunctive normal formsclassical realizabilitycontrol structures

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (2)

• On negation: Pure local rules
• Focalisation and Classical Realisability

This page was built for publication: Disjunctive normal forms and local exceptions

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