Robert A. G. Seely

Publication Activity (10 Years)

Years Active: 1983-2020
Publications (10 Years): 1

Top Topics

Artificial Neural Networks

Computational Complexity

Top Venues

Appl. Categorical Struct.

Publications

Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Robert A. G. Seely
Differential Categories Revisited. Appl. Categorical Struct. 28 (2) (2020)
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
Differential categories. Math. Struct. Comput. Sci. 16 (6) (2006)
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
The Logic of Linear Functors. Math. Struct. Comput. Sci. 12 (4) (2002)
Michael Barr, Philip J. Scott, Robert A. G. Seely
Introduction. Math. Struct. Comput. Sci. 10 (2) (2000)
J. Robin B. Cockett, Jürgen Koslowski, Robert A. G. Seely
Introduction to linear bicategories. Math. Struct. Comput. Sci. 10 (2) (2000)
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
! and ? - Storage as Tensorial Strength. Math. Struct. Comput. Sci. 6 (4) (1996)
N. P. Mendler, Prakash Panangaden, Philip J. Scott, Robert A. G. Seely
A Logical View of Concurrent Constraint Programming. Nord. J. Comput. 2 (2) (1995)
John N. Crossley, Gerald L. Mathai, Robert A. G. Seely
A logical calculus for polynomial-time realizability. Methods Log. Comput. Sci. 1 (3) (1994)
Richard Blute, Robert A. G. Seely, Prakash Panangaden
Holomorhpic Models of Exponential Types in Linear Logic. MFPS (1993)
Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely
A Hyperdoctrinal View of Concurrent Constraint Programming. REX Workshop (1992)
Robert A. G. Seely
Graded Multicategories of Polynomial-time Realizers. Category Theory and Computer Science (1989)
Robert A. G. Seely
Categorical Semantics for Higher Order Polymorphic Lambda Calculus. J. Symb. Log. 52 (4) (1987)
Robert A. G. Seely
Modelling Computations: A 2-Categorical Framework LICS (1987)
Robert A. G. Seely
Hyperdoctrines, Natural Deduction and the Beck Condition. Math. Log. Q. 29 (10) (1983)