Transcript EL λ-CÁLCULO CON TIPOS Inmaculada Berrocal Rincón Pablo Camacho Aires Adrián Muñoz Alba.