Imagen Principal
1

Derivación y Cálculo: Tomando en Serio la Correspondencia Curry-Howard (Tractos de Cambridge en Ciencia Computacional Teórica, Volumen 51)

Imagen ampliada