Celebrating the 100th anniversary of his birthday on 5 December 1922, last Saturday's issue of the "Frankfurter Allgemeine Zeitung" has an interesting article about Jim Lambek's work on linguistics, logic, categories, type theory, etc. Unfortunately, the article is not freely accessible on the Internet, and it needs a German language reader (Google translate may be no fun!). I got a copy via a friend. In case you are interested, feel free to contact me. Walter [For admin and other information see: http://www.mta.ca/~cat-dist/ ]