¿Cuantificación universal / existencial?
Me cuesta entender el propósito de la cuantificación universal y existencial de los tipos. Estoy jugando con un lenguaje de juguete basado en el cálculo de las construcciones . He estado leyendo sobre Morte y Henk para ayudarme a comprenderlo mejor. No entiendo por qué el CoC tiene abstracción...