%0 Conference Paper %1 journals/entcs/Santo17 %A Santo, José Espírito %B LSFA %D 2016 %E Nigam, Vivek %E Florido, Mário %I Elsevier %K dblp %P 149-168 %T The Polarized λ-calculus. %U http://dblp.uni-trier.de/db/journals/entcs/entcs332.html#Santo17 %V 332

@inproceedings{journals/entcs/Santo17, added-at = {2022-08-16T00:00:00.000+0200}, author = {Santo, José Espírito}, biburl = {https://www.bibsonomy.org/bibtex/2c6aaaa53a551ee60171714507996bc17/dblp}, booktitle = {LSFA}, crossref = {conf/lsfa/2016}, editor = {Nigam, Vivek and Florido, Mário}, ee = {https://www.wikidata.org/entity/Q113317593}, interhash = {5d24425963f331f67b7955b28c3e0adf}, intrahash = {c6aaaa53a551ee60171714507996bc17}, keywords = {dblp}, pages = {149-168}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:27:46.000+0200}, title = {The Polarized λ-calculus.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs332.html#Santo17}, volume = 332, year = 2016 }