The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

J. Robin B. Cockett: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. J. Robin B. Cockett, David A. Spooner
    SProc Categorically. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:146-159 [Conf]
  2. C. Barry Jay, J. Robin B. Cockett
    Shapely Types and Shape Polymorphism. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:302-316 [Conf]
  3. J. Robin B. Cockett
    What Is a Good Process Semantics? [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:1-3 [Conf]
  4. J. Robin B. Cockett
    Deforestation, program transformation, and cut-elimination. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  5. J. Robin B. Cockett, Craig A. Pastro
    A Language For Multiplicative-additive Linear Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:23-65 [Journal]
  6. J. Robin B. Cockett, Luigi Santocanale
    Induction, Coinduction, and Adjoints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  7. J. Robin B. Cockett, David A. Spooner
    Categories for synchrony and asynchrony. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  8. J. Robin B. Cockett
    File handling for detail and extent and for subtasks in the implementation of decision processes. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1985, v:37, n:1-3, pp:157-168 [Journal]
  9. J. Robin B. Cockett, J. A. Hierrera
    Decision Tree Reduction [Citation Graph (0, 0)][DBLP]
    J. ACM, 1990, v:37, n:4, pp:815-842 [Journal]
  10. J. Robin B. Cockett
    Introduction to Distributive Categories. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:3, pp:277-307 [Journal]
  11. 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]
  12. 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]
  13. 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]
  14. J. Robin B. Cockett
    Discrete Decision Theory: Manipulations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:215-236 [Journal]
  15. J. Robin B. Cockett, Stephen Lack
    Restriction categories I: categories of partial maps. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:270, n:1-2, pp:223-259 [Journal]
  16. J. Robin B. Cockett, Stephen Lack
    Restriction categories II: partial map classification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:1/2, pp:61-102 [Journal]
  17. J. Robin B. Cockett, Dwight Spencer
    Strong Categorical Datatypes II: A Term Logic for Categorical Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:139, n:1&2, pp:69-113 [Journal]
  18. J. Robin B. Cockett, David A. Spooner
    Constructing Process Categories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:73-109 [Journal]
  19. J. Robin B. Cockett, Craig A. Pastro
    The logic of message passing [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  20. On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. [Citation Graph (, )][DBLP]


  21. Introduction to Turing categories. [Citation Graph (, )][DBLP]


  22. On the word problem for SP-categories, and the properties of two-way communication [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002