[bcn-pm] Interesante articulo de Dominus sobre Lambek and Scott's Introduction to Higher-Order Categorical Logic,

[Jose Luis Perez Diez]

http://blog.plover.com/addenda/200811.html

lo habia visto antes en planet perl pero hasta hoy no ha estado disponible en 
el sitio