Hydra Games and Tree Ordinals. - Ariya Isihara (WoLLIC, 2007)

Productivity of stream definitions. - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks; Ariya Isihara; Jan Willem Klop (Theor. Comput. Sci., 2010)