%0 Journal Article %1 journals/corr/abs-cs-0603104 %A Atassi, Vincent %A Baillot, Patrick %A Terui, Kazushige %D 2006 %J CoRR %K dblp %T Verification of Ptime reducibility for system F terms via Dual Light Affine Logic %U http://dblp.uni-trier.de/db/journals/corr/corr0603.html#abs-cs-0603104 %V abs/cs/0603104

@article{journals/corr/abs-cs-0603104, added-at = {2018-08-13T00:00:00.000+0200}, author = {Atassi, Vincent and Baillot, Patrick and Terui, Kazushige}, biburl = {https://www.bibsonomy.org/bibtex/22bd60db1bacb23a7d1d82f14acdf6067/dblp}, ee = {http://arxiv.org/abs/cs/0603104}, interhash = {c439c46aa2780c8988314396b72f3f7d}, intrahash = {2bd60db1bacb23a7d1d82f14acdf6067}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T15:05:12.000+0200}, title = {Verification of Ptime reducibility for system F terms via Dual Light Affine Logic}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0603.html#abs-cs-0603104}, volume = {abs/cs/0603104}, year = 2006 }