Nondeterminacy and Recursion via Stacks and Games

Wim H. Hesselink. Nondeterminacy and Recursion via Stacks and Games. Theoretical Computer Science, 124(2):273-295, 1994.

Abstract

Abstract is missing.