Disjunctive normal forms and local exceptions

DOI10.1145/944705.944724zbMath1315.68045OpenAlexW2149237094MaRDI QIDQ5261276

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

control structuresdisjunctive normal formsclassical realizability

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Focalisation and Classical Realisability

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