@article{Esp_rito_Santo_2017,
    doi = {10.1016/j.entcs.2017.04.010},
    url = {https://doi.org/10.1016%2Fj.entcs.2017.04.010},
    year = {2017},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {332},
    pages = {149--168},
    author = {Jos{\'{e}} Esp{\'{\i}}rito Santo},
    title = {The Polarized {$\lambda$} -calculus},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Esp_rito_Santo_2017, doi = {10.1016/j.entcs.2017.04.010}, url = {https://doi.org/10.1016%2Fj.entcs.2017.04.010}, year = {2017}, month = {jun}, publisher = {Elsevier {BV}}, volume = {332}, pages = {149--168}, author = {Jos{\'{e}} Esp{\'{\i}}rito Santo}, title = {The Polarized {$\lambda$} -calculus}, journal = {Electronic Notes in Theoretical Computer Science} }