http://comonad.com/reader/2011/a-product-of-an-imperfect-union/ types, (co)monads, substructural logic Sat, 29 Dec 2012 15:18:06 -0800 http://wordpress.org/?v=2.8.4 hourly 1