An internal language for autonomous categories Ian MackieLeopoldo RománSamson Abramsky OriginalPaper Pages: 311 - 343