Freund, M. A. (2018) «Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados», Crítica. Revista Hispanoamericana de Filosofía, 24(72), pp. 47–72. doi: 10.22201/iifs.18704905e.1992.857.