(due to 1.2 in the FAQ, I am reporting stale links to the mailing list, which strikes me as odd. Let me know what I should be doing instead if this is wrong.) http://www.eleves.ens.fr:8080/home/madore/computers/tunes.html refers to 'Curry-Howard isomorphism' but that link which points to http://www.eleves.ens.fr:8080/home/madore/computers/curryhoward.html is gone. Laura Creighton