Freund, M. A. Un Sistema lógico De Segundo Orden Conceptualista Con Operadores Lambda Ramificados. CRHF 2018, 24, 47-72.