dblp.uni-trier.dewww.uni-trier.de

R. A. G. Seely

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
11EERichard Blute, J. Robin B. Cockett, R. A. G. Seely: Differential categories. Mathematical Structures in Computer Science 16(6): 1049-1083 (2006)
2002
10 Richard Blute, J. Robin B. Cockett, R. A. G. Seely: The Logic of Linear Functors. Mathematical Structures in Computer Science 12(4): 513-539 (2002)
2000
9 J. Robin B. Cockett, Jürgen Koslowski, R. A. G. Seely: Introduction to linear bicategories. Mathematical Structures in Computer Science 10(2): 165-203 (2000)
8 Michael Barr, Philip J. Scott, R. A. G. Seely: Introduction. Mathematical Structures in Computer Science 10(2): 97-98 (2000)
1996
7 Richard Blute, J. Robin B. Cockett, R. A. G. Seely: ! and ? - Storage as Tensorial Strength. Mathematical Structures in Computer Science 6(4): 313-351 (1996)
1995
6 N. P. Mendler, Prakash Panangaden, Philip J. Scott, R. A. G. Seely: A Logical View of Concurrent Constraint Programming. Nord. J. Comput. 2(2): 181-220 (1995)
1993
5 Richard Blute, R. A. G. Seely, Prakash Panangaden: Holomorhpic Models of Exponential Types in Linear Logic. MFPS 1993: 474-512
1992
4 Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely: A Hyperdoctrinal View of Concurrent Constraint Programming. REX Workshop 1992: 457-476
1989
3 R. A. G. Seely: Graded Multicategories of Polynomial-time Realizers. Category Theory and Computer Science 1989: 182-197
1987
2 R. A. G. Seely: Modelling Computations: A 2-Categorical Framework LICS 1987: 65-71
1 R. A. G. Seely: Categorical Semantics for Higher Order Polymorphic Lambda Calculus. J. Symb. Log. 52(4): 969-989 (1987)

Coauthor Index

1Michael Barr [8]
2Richard Blute [5] [7] [10] [11]
3J. Robin B. Cockett [7] [9] [10] [11]
4Jürgen Koslowski [9]
5N. P. Mendler [6]
6Prakash Panangaden [4] [5] [6]
7Vijay A. Saraswat [4]
8Philip J. Scott [4] [6] [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)