Higher-Order Arrays and Stacks in Programming. An Application of Complexity Theory to Logics of Programs.

Jerzy Tiuryn

Browse the full MFCS paper archive.