M. A. Freund, «Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados», CRHF, vol. 24, n.º 72, pp. 47–72, dic. 2018.