Richard Blute

	2012
16		Richard Blute, Prakash Panangaden, Sergey Slavnov: Deep Inference and Probabilistic Coherence Spaces. Applied Categorical Structures 20(3): 209-228 (2012)
	2010
15		Richard Blute, Thomas Ehrhard, Christine Tasson: A convenient differential category CoRR abs/1006.3140: (2010)
	2007
14		Richard Blute, Prakash Panangaden, Dorette Pronk: Conformal Field Theory as a Nuclear Functor. Electr. Notes Theor. Comput. Sci. 172: 101-132 (2007)
	2006
13		Richard Blute, J. Robin B. Cockett, R. A. G. Seely: Differential categories. Mathematical Structures in Computer Science 16(6): 1049-1083 (2006)
	2005
12		Richard Blute, Masahiro Hamano, Philip J. Scott: Softness of hypercoherences and MALL full completeness. Ann. Pure Appl. Logic 131(1-3): 1-63 (2005)
	2002
11		Richard Blute, Peter Selinger: Preface. Electr. Notes Theor. Comput. Sci. 69: 362-365 (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)
	1998
9		Richard Blute, Philip J. Scott: The Shuffle Hopf Algebra and Noncommutative Full Completeness. J. Symb. Log. 63(4): 1413-1436 (1998)
	1997
8		Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. LICS 1997: 149-158
	1996
7		Richard Blute, Philip J. Scott: Linear Läuchli Semantics. Ann. Pure Appl. Logic 77(2): 101-142 (1996)
6		Richard Blute, Philip J. Scott: A Noncommutative Full Completeness Theorem. Electr. Notes Theor. Comput. Sci. 3: 28-38 (1996)
5		Richard Blute: Hopf Algebras and Linear Logic. Mathematical Structures in Computer Science 6(2): 189-217 (1996)
4		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)
	1993
3		Richard Blute, R. A. G. Seely, Prakash Panangaden: Holomorhpic Models of Exponential Types in Linear Logic. MFPS 1993: 474-512
2		Richard Blute: Linear Logic, Coherence, and Dinaturality. Theor. Comput. Sci. 115(1): 3-41 (1993)
	1991
1		Richard Blute: Proof Nets and Coherence Theorems. Category Theory and Computer Science 1991: 121-137

Coauthor Index

1	J. Robin B. Cockett	[4] [10] [13]
2	Josée Desharnais (Josee Desharnais)	[8]
3	Abbas Edalat	[8]
4	Thomas Ehrhard	[15]
5	Masahiro Hamano	[12]
6	Prakash Panangaden	[3] [8] [14] [16]
7	Dorette Pronk	[14]
8	Philip J. Scott	[6] [7] [9] [12]
9	R. A. G. Seely	[3] [4] [10] [13]
10	Peter Selinger	[11]
11	Sergey Slavnov	[16]
12	Christine Tasson	[15]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page