stuebinm started reading A Lazy Logician's Guide to Linear Logic May 13 Unlisted A Lazy Logician's Guide to Linear Logic