%0 Conference Paper %1 conf/tlca/BakelBd11 %A van Bakel, Steffen %A Barbanera, Franco %A de'Liguoro, Ugo %B TLCA %D 2011 %E Ong, C.-H. Luke %I Springer %K dblp %P 213-228 %T A Filter Model for the λμ-Calculus - (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/tlca/tlca2011.html#BakelBd11 %V 6690 %@ 978-3-642-21690-9

@inproceedings{conf/tlca/BakelBd11, added-at = {2017-05-17T00:00:00.000+0200}, author = {van Bakel, Steffen and Barbanera, Franco and de'Liguoro, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/298cde2a06e8b90ea48cd94b8015385ad/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/2011}, editor = {Ong, C.-H. Luke}, ee = {https://doi.org/10.1007/978-3-642-21691-6_18}, interhash = {004af15e10405d15287d9045d921ddc9}, intrahash = {98cde2a06e8b90ea48cd94b8015385ad}, isbn = {978-3-642-21690-9}, keywords = {dblp}, pages = {213-228}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:22:07.000+0200}, title = {A Filter Model for the λμ-Calculus - (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca2011.html#BakelBd11}, volume = 6690, year = 2011 }