Freund, Max A. “A Concepturalist Second-Order Logical System With Ramified Lambda Operators”. Crítica. Revista Hispanoamericana de Filosofía 24, no. 72 (December 14, 2018): 47–72. Accessed July 13, 2025. https://critica.filosoficas.unam.mx/index.php/critica/article/view/857.