Butz, C. Syntax and Semantics of the Logic L_omega omega^lambda. BRICS 1997, 4.