Search the dblp DataBase
R. A. G. Seely :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
R. A. G. Seely Graded Multicategories of Polynomial-time Realizers. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1989, pp:182-197 [Conf ] R. A. G. Seely Modelling Computations: A 2-Categorical Framework [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:65-71 [Conf ] Richard Blute , R. A. G. Seely , Prakash Panangaden Holomorhpic Models of Exponential Types in Linear Logic. [Citation Graph (0, 0)][DBLP ] MFPS, 1993, pp:474-512 [Conf ] Prakash Panangaden , Vijay A. Saraswat , Philip J. Scott , R. A. G. Seely A Hyperdoctrinal View of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] REX Workshop, 1992, pp:457-476 [Conf ] R. A. G. Seely Categorical Semantics for Higher Order Polymorphic Lambda Calculus. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1987, v:52, n:4, pp:969-989 [Journal ] J. Robin B. Cockett , Jürgen Koslowski , R. A. G. Seely Introduction to linear bicategories. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:165-203 [Journal ] Michael Barr , Philip J. Scott , R. A. G. Seely Introduction. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:97-98 [Journal ] Richard Blute , J. Robin B. Cockett , R. A. G. Seely The Logic of Linear Functors. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:513-539 [Journal ] Richard Blute , J. Robin B. Cockett , R. A. G. Seely ! and ? - Storage as Tensorial Strength. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1996, v:6, n:4, pp:313-351 [Journal ] N. P. Mendler , Prakash Panangaden , Philip J. Scott , R. A. G. Seely A Logical View of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 1995, v:2, n:2, pp:181-220 [Journal ] Search in 0.003secs, Finished in 0.003secs