-
Archives
- October 2018
- August 2016
- July 2016
- April 2015
- December 2014
- August 2014
- June 2014
- February 2014
- November 2013
- August 2013
- July 2013
- May 2013
- April 2013
- March 2013
- October 2012
- July 2012
- May 2012
- February 2012
- December 2011
- August 2011
- July 2011
- May 2011
- April 2011
- August 2010
- November 2009
- May 2009
- July 2007
- June 2006
- May 2006
-
Meta
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