Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Robert A. G. Seely

> Home > Persons

Person information

affiliation: McGill University, Department of Mathematics, Montreal, QC, Canada

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/acs/BluteCLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acs/BluteCLS20
Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Robert A. G. Seely:
Differential Categories Revisited. Appl. Categorical Struct. 28(2): 171-235 (2020)
2006
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BluteCS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BluteCS06
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely:
Differential categories. Math. Struct. Comput. Sci. 16(6): 1049-1083 (2006)
2002
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BluteCS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BluteCS02
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely:
The Logic of Linear Functors. Math. Struct. Comput. Sci. 12(4): 513-539 (2002)
2000
[j7]
- view
  - electronic edition @ cambridge.org
  - no references & citations available
- export record
  dblp key:
  - journals/mscs/BarrSS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BarrSS00
Michael Barr, Philip J. Scott, Robert A. G. Seely:
Introduction. Math. Struct. Comput. Sci. 10(2): 97-98 (2000)
[j6]
- view
  - electronic edition @ cambridge.org
  - no references & citations available
- export record
  dblp key:
  - journals/mscs/CockettKS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CockettKS00
J. Robin B. Cockett, Jürgen Koslowski, Robert A. G. Seely:
Introduction to linear bicategories. Math. Struct. Comput. Sci. 10(2): 165-203 (2000)
1996
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BluteCS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BluteCS96
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely:
! and ? - Storage as Tensorial Strength. Math. Struct. Comput. Sci. 6(4): 313-351 (1996)
1995
[j4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/njc/MendlerPSS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/njc/MendlerPSS95
Nax Paul Mendler, Prakash Panangaden, Philip J. Scott, Robert A. G. Seely:
A Logical View of Concurrent Constraint Programming. Nord. J. Comput. 2(2): 181-220 (1995)
1994
[j3]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - journals/mlcs/CrossleyMS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlcs/CrossleyMS94
John N. Crossley, Gerald L. Mathai, Robert A. G. Seely:
A logical calculus for polynomial-time realizability. Methods Log. Comput. Sci. 1(3): 279-298 (1994)
1987
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Seely87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Seely87
Robert A. G. Seely:
Categorical Semantics for Higher Order Polymorphic Lambda Calculus. J. Symb. Log. 52(4): 969-989 (1987)
1983
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Seely83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Seely83
Robert A. G. Seely:
Hyperdoctrines, Natural Deduction and the Beck Condition. Math. Log. Q. 29(10): 505-542 (1983)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

1993
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/mfps/BluteSP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfps/BluteSP93
Richard Blute, Robert A. G. Seely, Prakash Panangaden:
Holomorhpic Models of Exponential Types in Linear Logic. MFPS 1993: 474-512
1992
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/PanangadenSSS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/PanangadenSSS92
Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely:
A Hyperdoctrinal View of Concurrent Constraint Programming. REX Workshop 1992: 457-476
1989
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Seely89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Seely89
Robert A. G. Seely:
Graded Multicategories of Polynomial-time Realizers. Category Theory and Computer Science 1989: 182-197
1987
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lics/Seely87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Seely87
Robert A. G. Seely:
Modelling Computations: A 2-Categorical Framework. LICS 1987: 65-71

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.