Disjunctive normal forms and local exceptions

DOI10.1145/944705.944724MaRDI QIDQ5261276zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

classical realizabilitycontrol structuresdisjunctive normal forms

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

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

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)