Alex Wright
Writing
Speaking
Projects
About
Contact
Linear Logic
Communications of the ACM
October 30, 2010
