Hyperdoctrines, Natural Deduction and the Beck Condition. - Robert A. G. Seely (Math. Log. Q., 1983)

Modelling Computations: A 2-Categorical Framework - Robert A. G. Seely (LICS, 1987)

Categorical Semantics for Higher Order Polymorphic Lambda Calculus. - Robert A. G. Seely (J. Symb. Log., 1987)

Graded Multicategories of Polynomial-time Realizers. - Robert A. G. Seely (Category Theory and Computer Science, 1989)

A Hyperdoctrinal View of Concurrent Constraint Programming. - Prakash Panangaden; Vijay A. Saraswat; Philip J. Scott; Robert A. G. Seely (REX Workshop, 1992)

Holomorhpic Models of Exponential Types in Linear Logic. - Richard Blute; Robert A. G. Seely; Prakash Panangaden (MFPS, 1993)

A logical calculus for polynomial-time realizability. - John N. Crossley; Gerald L. Mathai; Robert A. G. Seely (Methods Log. Comput. Sci., 1994)

A Logical View of Concurrent Constraint Programming. - Nax Paul Mendler; Prakash Panangaden; Philip J. Scott; Robert A. G. Seely (Nord. J. Comput., 1995)

! and ? - Storage as Tensorial Strength. - Richard Blute; J. Robin B. Cockett; Robert A. G. Seely (Math. Struct. Comput. Sci., 1996)

Introduction. - Michael Barr; Philip J. Scott; Robert A. G. Seely (Math. Struct. Comput. Sci., 2000)

Introduction to linear bicategories. - J. Robin B. Cockett; Jürgen Koslowski; Robert A. G. Seely (Math. Struct. Comput. Sci., 2000)

The Logic of Linear Functors. - Richard Blute; J. Robin B. Cockett; Robert A. G. Seely (Math. Struct. Comput. Sci., 2002)

Differential categories. - Richard Blute; J. Robin B. Cockett; Robert A. G. Seely (Math. Struct. Comput. Sci., 2006)

Differential Categories Revisited. - Richard Blute; J. Robin B. Cockett; Jean-Simon Pacaud Lemay; Robert A. G. Seely (Appl. Categorical Struct., 2020)