Monthly Archives: May 2013

Linear Logic without Units

My PhD thesis (2007) was available for several years from my web site at the University of Manchester, but since that site was taken down it’s been unavailable. Today’s announcement is that I’ve finally got round to uploading it to GitHub.

Posted in chatter | Leave a comment