SOCIAL ECOLOGICAL FACTORS AFFECTING SUBSTANCE ABUSE IN GHANA (WEST AFRICA) USING PHOTOVOICE




Making first order linear logic a generating grammar

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 Drum Sticks specific typed terms, which represent tuples of strings, more

read more