archives

Paul Cohen has died

Paul Cohen has passed away.

While not directly involved in programming languages, as far as I know, his seminal work in logic is certainly known and admired by many in the LtU community.

By Ehud Lamm at 2007-03-25 21:15 | General | 1 comment | other blogs | 10441 reads