@article{Girard_1998,
    doi = {10.1006/inco.1998.2700},
    url = {https://doi.org/10.1006%2Finco.1998.2700},
    year = {1998},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {143},
    number = {2},
    pages = {175--204},
    author = {Jean-Yves Girard},
    title = {Light Linear Logic},
    journal = {Information and Computation}
}

@article{Girard_1998, doi = {10.1006/inco.1998.2700}, url = {https://doi.org/10.1006%2Finco.1998.2700}, year = {1998}, month = {jun}, publisher = {Elsevier {BV}}, volume = {143}, number = {2}, pages = {175--204}, author = {Jean-Yves Girard}, title = {Light Linear Logic}, journal = {Information and Computation} }