The SCEAS System
| |||||||

## Search the dblp DataBase
Richard Blute:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Richard Blute
**Proof Nets and Coherence Theorems.**[Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1991, pp:121-137 [Conf] - Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden
**Bisimulation for Labelled Markov Processes.**[Citation Graph (0, 0)][DBLP] LICS, 1997, pp:149-158 [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] - Richard Blute, Masahiro Hamano, Philip J. Scott
**Softness of hypercoherences and MALL full completeness.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2005, v:131, n:1-3, pp:1-63 [Journal] - Richard Blute, Philip J. Scott
**Linear Läuchli Semantics.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1996, v:77, n:2, pp:101-142 [Journal] - Richard Blute, Peter Selinger
**Preface.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal] - Richard Blute, Philip J. Scott
**A Noncommutative Full Completeness Theorem.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal] - Richard Blute, Prakash Panangaden, Dorette Pronk
**Conformal Field Theory as a Nuclear Functor.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:101-132 [Journal] - Richard Blute, Philip J. Scott
**The Shuffle Hopf Algebra and Noncommutative Full Completeness.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1998, v:63, n:4, pp:1413-1436 [Journal] - Richard Blute
**Hopf Algebras and Linear Logic.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:2, pp:189-217 [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] - Richard Blute
**Linear Logic, Coherence, and Dinaturality.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:115, n:1, pp:3-41 [Journal] **A convenient differential category**[Citation Graph (, )][DBLP]
Search in 0.032secs, Finished in 0.033secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |