Cuarto seminario Ignacio Cordón,Mario RományDavid Charte25-10-2014 Latex, Git, GitHub y otras herramientas - David Charte, Ignacio Cordón y Mario Román Funciones especiales: Gamma, Beta y Digamma - Ignacio Cordón El isomorfismo de Curry-Howard - Mario Román seminarios