ic Programming II: Automatic Discovery of Reusable Programs. MIT Press, 1994. KSPC13. Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Putman, and Bob Coecke. Reasoning about meaning in natural language with compact closed categories and frobenius algebras. 2013. Kur09. Yohei Kuria. 9-intersection calcu