3 citations
1 paper · 1 filter
K. Dosen, Z. Petric
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear l…