Freund, M. A. “A Concepturalist Second-Order Logical System With Ramified Lambda Operators”. Crítica. Revista Hispanoamericana De Filosofía, vol. 24, no. 72, Dec. 2018, pp. 47-72, doi:10.22201/iifs.18704905e.1992.857.