Robert A. G. Seely

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