@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}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A