IMPLEMENTACION Y EVALUACION DE UN CALCULO CATEGORIAL TIPO LAMBEK COMO SISTEMA DEDUCTIVO PARA GRAMATICAS SINTAGMATICAS INDEPENDIENTES DEL CONTEXTO Y SU GENERALIZACION A CLAUSULAS DE HORN. | Finanzierung