tag:blogger.com,1999:blog-9757377.post4030514213098461035..comments2008-02-28T20:55:51.129ZPhilip Wadlerhttp://www.blogger.com/profile/12009347515095774366noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-9757377.post-30207652332090695222008-02-28T20:55:00.000Z2008-02-28T20:55:00.000Z<A HREF="http://people.cs.uu.nl/andres/LambdaPi.html" REL="nofollow">the paper</A> is here.tehgeekmeisterhttp://tehgeekmeister.wordpress.com/noreply@blogger.com