@article{Bucciarelli_2000,
    doi = {10.1016/s0168-0072(99)00040-8},
    url = {https://doi.org/10.1016%2Fs0168-0072%2899%2900040-8},
    year = {2000},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {102},
    number = {3},
    pages = {247--282},
    author = {Antonio Bucciarelli and Thomas Ehrhard},
    title = {On phase semantics and denotational semantics in multiplicative{\textendash}additive linear logic},
    journal = {Annals of Pure and Applied Logic}
}

@article{Bucciarelli_2000, doi = {10.1016/s0168-0072(99)00040-8}, url = {https://doi.org/10.1016%2Fs0168-0072%2899%2900040-8}, year = {2000}, month = {apr}, publisher = {Elsevier {BV}}, volume = {102}, number = {3}, pages = {247--282}, author = {Antonio Bucciarelli and Thomas Ehrhard}, title = {On phase semantics and denotational semantics in multiplicative{\textendash}additive linear logic}, journal = {Annals of Pure and Applied Logic} }