Oi todos, achei que valia a pena postar aqui o aviso abaixo e links pra alguns artigos - difíceis, mas com abstracts legíveis. É bem possível que o "Polymorphism Is Not Set-Theoretic" do Reynolds tenha sido uma das principais motivações pra muita gente interessada em Lógica começar a estudar Categorias.
http://hal.inria.fr/docs/00/07/62/61/PDF/RR-0296.pdf http://www.pps.univ-paris-diderot.fr/~mellies/mpri/mpri-ens/articles/pitts-polymorphism-is-set-theoretic-constructively.pdf http://www.math.mcgill.ca/rags/JSL/PLC.pdf http://homepages.inf.ed.ac.uk/wadler/topics/parametricity.html [[]], Eduardo Ochs [email protected] http://angg.twu.net/ http://angg.twu.net/quadradinho/quadradinho-a5.pdf ---------- Forwarded message ---------- From: Uday S Reddy <[email protected]> Date: Mon, Apr 29, 2013 at 4:39 PM Subject: [TYPES] John Reynolds To: types-list <[email protected]> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Dear friends and colleagues, I am sorry to bring the sad news that John Reynolds, whose work and insights I have mentioned and recounted in my recent exchanges, has passed away on Sunday in Pittsburgh. John has not only done seminal work on a wide range of programming language topics, but he was also a guiding spirit and a great friend to many of us. We will dearly miss him. At this juncture, we might take a moment to reflect on his life time of accomplishment: http://www.cs.cmu.edu/~jcr/ Uday -- Prof. Uday Reddy Tel: +44 121 414 2740 Professor of Computer Science Fax: +44 121 414 4281 School of Computer Science Email: [email protected] University of Birmingham Edgbaston Birmingham B15 2TT Web: http://www.cs.bham.ac.uk/~udr _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
