Richard Blute

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1	J. Robin B. Cockett	[j10] [j7] [j2]
2	Josée Desharnais (Josee Desharnais)	[c3]
3	Abbas Edalat	[c3]
4	Thomas Ehrhard	[i1]
5	Masahiro Hamano	[j9]
6	Prakash Panangaden	[j12] [j11] [c3] [c2]
7	Dorette Pronk	[j11]
8	Philip J. Scott	[j9] [j6] [j5] [j4]
9	R. A. G. Seely	[j10] [j7] [j2] [c2]
10	Peter Selinger	[j8]
11	Sergey Slavnov	[j12]
12	Christine Tasson	[i1]

Colors in the list of coauthors

Last update Sun May 19 16:20:28 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page