Disjunctive normal forms and local exceptions

All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact workings depend on the tautology. Equivalent and more efficient control combinators are described through a specialized sequent calculus and shown to be correct. Categories and Subject Descriptors

• Type: Conference
• Year: 2003
• Where: ICFP
• Authors: Emmanuel Beffara, Vincent Danos
• Keywords: Disjunctive Normal Forms, Efficient Control Combinators, Exception Handling Mechanism, ICFP 2003, Programming Languages