Robert A. G. Seely

According to our database, Robert A. G. Seely authored at least 14 papers between 1983 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Differential Categories Revisited.

Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Robert A. G. Seely

Appl. Categorical Struct., 2020

2006

Differential categories.

Richard Blute, J. Robin B. Cockett, Robert A. G. Seely

Math. Struct. Comput. Sci., 2006

2002

The Logic of Linear Functors.

Richard Blute, J. Robin B. Cockett, Robert A. G. Seely

Math. Struct. Comput. Sci., 2002

2000

Introduction to linear bicategories.

J. Robin B. Cockett, Jürgen Koslowski, Robert A. G. Seely

Math. Struct. Comput. Sci., 2000

Introduction.

Michael Barr, Philip J. Scott, Robert A. G. Seely

Math. Struct. Comput. Sci., 2000

1996

! and ? - Storage as Tensorial Strength.

Richard Blute, J. Robin B. Cockett, Robert A. G. Seely

Math. Struct. Comput. Sci., 1996

1995

A Logical View of Concurrent Constraint Programming.

Nax Paul Mendler, Prakash Panangaden, Philip J. Scott, Robert A. G. Seely

Nord. J. Comput., 1995

1994

A logical calculus for polynomial-time realizability.

John N. Crossley, Gerald L. Mathai, Robert A. G. Seely

Methods Log. Comput. Sci., 1994

1993

Holomorhpic Models of Exponential Types in Linear Logic.

Richard Blute, Robert A. G. Seely, Prakash Panangaden

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992

A Hyperdoctrinal View of Concurrent Constraint Programming.

Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely

Proceedings of the Sematics: Foundations and Applications, 1992

1989

Graded Multicategories of Polynomial-time Realizers.

Robert A. G. Seely

Proceedings of the Category Theory and Computer Science, 1989

1987

Categorical Semantics for Higher Order Polymorphic Lambda Calculus.

Robert A. G. Seely

J. Symb. Log., 1987

Modelling Computations: A 2-Categorical Framework

Robert A. G. Seely

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1983

Hyperdoctrines, Natural Deduction and the Beck Condition.

Robert A. G. Seely

Math. Log. Q., 1983