Disjunctive Normal Forms and Local Exceptions Export

@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}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/beffara03disjunctive.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/beffara03disjunctive.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/beffara03disjunctive.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/beffara03disjunctive.html}, 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 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. TI - Disjunctive Normal Forms and Local Exceptions T2 - ICPP'03 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 -