%0 Conference Paper %1 conf/fossacs/BaillotM04 %A Baillot, Patrick %A Mogbil, Virgile %B FoSSaCS %D 2004 %E Walukiewicz, Igor %I Springer %K dblp %P 27-41 %T Soft lambda-Calculus: A Language for Polynomial Time Computation. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2004.html#BaillotM04 %V 2987 %@ 3-540-21298-1

@inproceedings{conf/fossacs/BaillotM04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Baillot, Patrick and Mogbil, Virgile}, biburl = {https://www.bibsonomy.org/bibtex/2aaf42541e8c4e4ca329df93c68d86a30/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2004}, editor = {Walukiewicz, Igor}, ee = {https://doi.org/10.1007/978-3-540-24727-2_4}, interhash = {1bc74d787c8407e648f6d51d51922217}, intrahash = {aaf42541e8c4e4ca329df93c68d86a30}, isbn = {3-540-21298-1}, keywords = {dblp}, pages = {27-41}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:37.000+0200}, title = {Soft lambda-Calculus: A Language for Polynomial Time Computation.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2004.html#BaillotM04}, volume = 2987, year = 2004 }