M. A. Freund, “A Concepturalist Second-Order Logical System with Ramified Lambda Operators”, CRHF, vol. 24, no. 72, pp. 47–72, Dec. 2018.