1

Formation

unhcnqcnrhfb8
It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic (MLL1). We show that the fragment of interest is equivalent to the recently introduced extended tensor type calculus (ETTC). ETTC is a calculus of specific typed terms. which represent tuples of strings. https://atome3des.shop/product-category/formation/
Report this page

Comments

    HTML is allowed

Who Upvoted this Story