Idealized Algol with Ground Recursion, and DPDA Equivalence.

Andrzej S. Murawski, C.-H. Luke Ong, Igor Walukiewicz

Browse the full ICALP paper archive.