R. A. G. Seely

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Linear logic, *-autonomous categories and cofree coalgebras

R. A. G. Seely (1989) · Categories in Computer Science and Logic · American Mathematical Society

HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION

R. A. G. Seely (1983) · Wiley