Freund, M. A. (2018). A Concepturalist Second-Order Logical System with Ramified Lambda Operators. Crítica. Revista Hispanoamericana De Filosofía, 24(72), 47–72. https://doi.org/10.22201/iifs.18704905e.1992.857