%0 Journal Article %1 journals/apal/LaurentQF05 %A Laurent, Olivier %A Quatrini, Myriam %A de Falco, Lorenzo Tortora %D 2005 %J Ann. Pure Appl. Log. %K dblp %N 2-3 %P 217-264 %T Polarized and focalized linear and classical proofs. %U http://dblp.uni-trier.de/db/journals/apal/apal134.html#LaurentQF05 %V 134

@article{journals/apal/LaurentQF05, added-at = {2023-11-06T00:00:00.000+0100}, author = {Laurent, Olivier and Quatrini, Myriam and de Falco, Lorenzo Tortora}, biburl = {https://www.bibsonomy.org/bibtex/27ac544b40612cf43ed0788a80431d7ce/dblp}, ee = {https://doi.org/10.1016/j.apal.2004.11.002}, interhash = {13e73db9eb00f92275dff2cbfb483c73}, intrahash = {7ac544b40612cf43ed0788a80431d7ce}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {2-3}, pages = {217-264}, timestamp = {2024-04-09T02:36:07.000+0200}, title = {Polarized and focalized linear and classical proofs.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal134.html#LaurentQF05}, volume = 134, year = 2005 }