|
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.003secs, Finished in 0.004secs
|