Antonio Bucciarelli, Thomas Ehrhard. On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic. Annals of Pure and Applied Logic, 102(3):247-282, 2000.
@article{BucciarelliE00, title = {On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic}, author = {Antonio Bucciarelli and Thomas Ehrhard}, year = {2000}, tags = {semantics, denotational semantics, logic}, researchr = {https://researchr.org/publication/BucciarelliE00}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {102}, number = {3}, pages = {247-282}, }