Syntactic Multicategories and Categorical Combinators for Linear Logic Export

@misc{citeulike:401387, abstract = {) Eike Ritter Valeria de Paiva Computer Laboratory University of Cambridge 1 Introduction This paper contributes to the area of \"categorical combinatory logic\" or \"categorical combinators\", following the steps of Curien [Cur93] and Ritter [Rit92]. We provide a precise syntactic formulation of the notion of a multicategory (a recent reference is Lambek [Lam89]) and based on that we give categorical combinators for (multiplicative) Intuitionistic Linear Logic, following the general approach of...}, author = {Ritter, E. and de Paiva, V.}, citeulike-article-id = {401387}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.4113}, keywords = {categorical, linear, logic}, posted-at = {2005-11-19 17:11:51}, priority = {0}, title = {Syntactic Multicategories and Categorical Combinators for Linear Logic}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.4113}, year = {1993} }

TY - GEN ID - citeulike:401387 L3 - citeulike-article-id:401387 N2 - ) Eike Ritter Valeria de Paiva Computer Laboratory University of Cambridge 1 Introduction This paper contributes to the area of "categorical combinatory logic" or "categorical combinators", following the steps of Curien [Cur93] and Ritter [Rit92]. We provide a precise syntactic formulation of the notion of a multicategory (a recent reference is Lambek [Lam89]) and based on that we give categorical combinators for (multiplicative) Intuitionistic Linear Logic, following the general approach of... TI - Syntactic Multicategories and Categorical Combinators for Linear Logic KW - categorical KW - linear KW - logic AU - Ritter, E AU - de Paiva, V PY - 1993/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.4113 ER -