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.