Sobre dos logicas categoricas: logica lineal y algebra con tipos ordenados

Tesis doctoral de Narciso Marti Oliet La logica lineal ha sido desarrollada recientemente por girard como una logica de acciones […]

, , , , ,