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://herbsdailyes.shop/product-category/cheese-snacks/
Web Directory Categories
Web Directory Search
New Site Listings