Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages Export

@inproceedings{citeulike:1864657, abstract = {. We give two categorical programming languages with variable arrows and associated abstraction/reduction mechanisms, which extend the possibility of categorical programming [Hag87, CF92] in practice. These languages are complementary to each other -- one of them provides a first-order programming style whereas the other does higherorder -- and are \"children\" of the simply typed lambda calculus in the sense that we can decompose typed lambda calculus into them and, conversely, the combination...}, author = {Hasegawa, Masahito}, booktitle = {Category Theory and Computer Science}, citeulike-article-id = {1864657}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.715}, keywords = {category-theory, lambda-calculus, languages}, pages = {200--219}, posted-at = {2007-11-04 15:45:20}, priority = {2}, title = {Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.715}, year = {1995} }

TY - CONF ID - citeulike:1864657 L3 - citeulike-article-id:1864657 N2 - . We give two categorical programming languages with variable arrows and associated abstraction/reduction mechanisms, which extend the possibility of categorical programming [Hag87, CF92] in practice. These languages are complementary to each other -- one of them provides a first-order programming style whereas the other does higherorder -- and are "children" of the simply typed lambda calculus in the sense that we can decompose typed lambda calculus into them and, conversely, the combination... EP - 219 TI - Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages T2 - Category Theory and Computer Science SP - 200 KW - category-theory KW - lambda-calculus KW - languages AU - Hasegawa, Masahito PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.715 ER -