[bcn-pm] Interesante articulo de Dominus sobre Lambek and Scott's Introduction to Higher-Order Categorical Logic,
Jose Luis Perez Diez
jluis a escomposlinux.org
dim gen 20 23:51:45 PST 2009
http://blog.plover.com/addenda/200811.html
lo habia visto antes en planet perl pero hasta hoy no ha estado disponible en
el sitio
Més informació sobre la llista de correu Barcelona-pm