Richard Blute - RankMe

22 papers A* 1B 3Journal 12Unranked 5

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Differential Categories Revisited. Appl. Categorical Struct. Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Robert A. G. Seely
2018	B	`conf`	Finiteness Spaces and Generalized Power Series. MFPS Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott
2016	B	`conf`	The Shuffle Quasimonad and Modules with Differentiation and Integration. MFPS Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay
2015	J	`jnl`	Von Neumann Categories. Appl. Categorical Struct. Richard Blute, Marc Comeau
2014	—	`conf`	A Logical Basis for Quantum Evolution and Entanglement. Categories and Types in Logic, Language, and Physics Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger
2012	J	`jnl`	Deep Inference and Probabilistic Coherence Spaces. Appl. Categorical Struct. Richard Blute, Prakash Panangaden, Sergey Slavnov
2010	J	`jnl`	A convenient differential category CoRR Richard Blute, Thomas Ehrhard, Christine Tasson
2007	—	`conf`	Conformal Field Theory as a Nuclear Functor. Computation, Meaning, and Logic Richard Blute, Prakash Panangaden, Dorette Pronk
2006	J	`jnl`	Differential categories. Math. Struct. Comput. Sci. Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
2005	J	`jnl`	Softness of hypercoherences and MALL full completeness. Ann. Pure Appl. Log. Richard Blute, Masahiro Hamano, Philip J. Scott
2002	—	`ed.`	Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002 CTCS Richard Blute, Peter Selinger
2002	—	`conf`	Preface. CTCS Richard Blute, Peter Selinger
2002	J	`jnl`	The Logic of Linear Functors. Math. Struct. Comput. Sci. Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
1998	J	`jnl`	The Shuffle Hopf Algebra and Noncommutative Full Completeness. J. Symb. Log. Richard Blute, Philip J. Scott
1997	A*	`conf`	Bisimulation for Labelled Markov Processes. LICS Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden
1996	J	`jnl`	! and ? - Storage as Tensorial Strength. Math. Struct. Comput. Sci. Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
1996	—	`conf`	A Noncommutative Full Completeness Theorem. Linear Logic Tokyo Meeting Richard Blute, Philip J. Scott
1996	J	`jnl`	Hopf Algebras and Linear Logic. Math. Struct. Comput. Sci. Richard Blute
1996	J	`jnl`	Linear Läuchli Semantics. Ann. Pure Appl. Log. Richard Blute, Philip J. Scott
1993	B	`conf`	Holomorhpic Models of Exponential Types in Linear Logic. MFPS Richard Blute, Robert A. G. Seely, Prakash Panangaden
1993	J	`jnl`	Linear Logic, Coherence, and Dinaturality. Theor. Comput. Sci. Richard Blute
1991	—	`conf`	Proof Nets and Coherence Theorems. Category Theory and Computer Science Richard Blute