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