Imagen Principal
1

Lenguajes Funcionales de Dos Niveles (Tractos de Cambridge en Ciencia de la Computación Teórica, Banda 34)

Imagen ampliada