Butz, Carsten. 1997. “Syntax and Semantics of the Logic L_omega omega^lambda”. BRICS Report Series 4 (22). https://doi.org/10.7146/brics.v4i22.18948.