Generalizing Coherence Spaces and Hypercoherences
François Lamarche · Electronic Notes in Theoretical Computer Science · 1995
Let Q be a Girard quantale. In other words Q is a complete lattice which also has the structure of a ∗-autonomous category. For every n ∈ {3,4,5,…,ω} we define a category of “sets with values in Q and Q-respecting relations” which gives us a model of full classical linear logic, thus generalizing both the category of coherence spaces [9] and that of hypercoherences [7].