Person. Robert A. G. Seely Papers Linear logic, *-autonomous categories and cofree coalgebras seely89Categories in computer science and logic (Boulder, CO, 1987) · 1989 DOI