Making first order linear logic a generating grammar

Open in new window