Lawvere 2-theories. Presented at CT2007 (2007)

by S Lack, J Power