Cuadragésimo segundo seminario David CharteyMario Román19-01-2018 Verificación formal - David Charte Lógica intuicionista y cálculo lambda - Mario Román seminarios