Pumping Lemma for Higher-order Languages.

Kazuyuki Asada, Naoki Kobayashi

Browse the full ICALP paper archive.