Infinite Games and Transfinite Recursion of Multiple Inductive Definitions.

Keisuke Yoshii, Kazuyuki Tanaka

Browse the full CiE paper archive.