Strong normalization of the second-order symmetric [lambda][mu]-calculus Export

@article{citeulike:2973999, abstract = {Parigot [Computational Logic and Proof Theory, vol. 713, 1993, p. 263] suggested symmetric structural reduction rules to ensure unique representation of data types. We prove strong normalization of the second-order [lambda][mu]-calculus with such rules.}, author = {Yamagata, Yoriyuki}, citeulike-article-id = {2973999}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.ic.2004.04.002}, citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B6WGK-4CMHT17-1/1/e16f03fa6718b7ef1c1ce714f976d7c2}, day = {25}, doi = {10.1016/j.ic.2004.04.002}, journal = {Information and Computation}, keywords = {continuation, lambda-calculus}, month = {August}, number = {1}, pages = {1--20}, posted-at = {2008-07-09 03:03:25}, priority = {2}, title = {Strong normalization of the second-order symmetric [lambda][mu]-calculus}, url = {http://dx.doi.org/10.1016/j.ic.2004.04.002}, volume = {193}, year = {2004} }

TY - JOUR ID - citeulike:2973999 L3 - citeulike-article-id:2973999 N2 - Parigot [Computational Logic and Proof Theory, vol. 713, 1993, p. 263] suggested symmetric structural reduction rules to ensure unique representation of data types. We prove strong normalization of the second-order [lambda][mu]-calculus with such rules. IS - 1 JF - Information and Computation EP - 20 TI - Strong normalization of the second-order symmetric [lambda][mu]-calculus VL - 193 SP - 1 KW - continuation KW - lambda-calculus AU - Yamagata, Yoriyuki PY - 2004/08/25/ UR - http://dx.doi.org/10.1016/j.ic.2004.04.002 ER -