A categorical model of predicate linear logic

Preview format:

We use files, through the cookie quality improvement layer of our website.For more information, please read the document