Learn More
We investigate a new denotational model of linear logic based on the purely relational model. In this semantics, webs are equipped with a notion of “finitary” subsets satisfying a closure condition(More)