%0 Conference Paper %1 conf/icalp/Asada017 %A Asada, Kazuyuki %A Kobayashi, Naoki %B ICALP %D 2017 %E Chatzigiannakis, Ioannis %E Indyk, Piotr %E Kuhn, Fabian %E Muscholl, Anca %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 97:1-97:14 %T Pumping Lemma for Higher-order Languages. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2017.html#Asada017 %V 80 %@ 978-3-95977-041-5

@inproceedings{conf/icalp/Asada017, added-at = {2019-10-19T00:00:00.000+0200}, author = {Asada, Kazuyuki and Kobayashi, Naoki}, biburl = {https://www.bibsonomy.org/bibtex/2804f30f5c86314eb45520ab5ab07dea1/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2017}, editor = {Chatzigiannakis, Ioannis and Indyk, Piotr and Kuhn, Fabian and Muscholl, Anca}, ee = {https://doi.org/10.4230/LIPIcs.ICALP.2017.97}, interhash = {547f794ee4bc7a947e36cc28675f1c1d}, intrahash = {804f30f5c86314eb45520ab5ab07dea1}, isbn = {978-3-95977-041-5}, keywords = {dblp}, pages = {97:1-97:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:45:13.000+0100}, title = {Pumping Lemma for Higher-order Languages.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2017.html#Asada017}, volume = 80, year = 2017 }