Disjunctive Normal Forms and Local Exceptions

@inproceedings{citeulike:2868749, abstract = {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.}, author = {Beffara, Emmanuel and Danos, Vincent }, booktitle = {ICPP'03}, citeulike-article-id = {2868749}, keywords = {classical-logic, control-operator, copy}, posted-at = {2008-06-06 09:03:42}, priority = {2}, title = {Disjunctive Normal Forms and Local Exceptions}, url = {http://citeseer.ist.psu.edu/beffara03disjunctive.html}, year = {2003} }

TY - CONF ID - citeulike:2868749 L3 - citeulike-article-id:2868749 TI - Disjunctive Normal Forms and Local Exceptions T2 - ICPP'03 N2 - 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. KW - classical-logic KW - control-operator KW - copy AU - Beffara, Emmanuel AU - Danos, Vincent PY - 2003/// UR - http://citeseer.ist.psu.edu/beffara03disjunctive.html ER -