%0 Conference Paper %1 conf/flops/Saurin10 %A Saurin, Alexis %B FLOPS %D 2010 %E Blume, Matthias %E Kobayashi, Naoki %E Vidal, Germán %I Springer %K dblp %P 134-149 %T Standardization and Böhm Trees for Lambdaµ-Calculus. %U http://dblp.uni-trier.de/db/conf/flops/flops2010.html#Saurin10 %V 6009 %@ 978-3-642-12250-7

@inproceedings{conf/flops/Saurin10, added-at = {2017-05-21T00:00:00.000+0200}, author = {Saurin, Alexis}, biburl = {https://www.bibsonomy.org/bibtex/255c63c0af979cfe09207a20312c44f22/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2010}, editor = {Blume, Matthias and Kobayashi, Naoki and Vidal, Germán}, ee = {https://doi.org/10.1007/978-3-642-12251-4_11}, interhash = {e8ae4f33388f698b65c98d3e03a1838d}, intrahash = {55c63c0af979cfe09207a20312c44f22}, isbn = {978-3-642-12250-7}, keywords = {dblp}, pages = {134-149}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:26.000+0200}, title = {Standardization and Böhm Trees for Lambdaµ-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2010.html#Saurin10}, volume = 6009, year = 2010 }