Riccardo Pucella, Stephen Chong: Review of type-logical semantics. SIGACT News 34(1): 6-17 (2003)