The WHILE Hierarchy of Program Schemes Is Infinite.

Can Adam Albayrak, Thomas Noll

Browse the full FOSSACS paper archive.