Richard F. Blute

Available identifiers

zbMath Open blute.richard-fMaRDI QIDQ1421607

List of research outcomes

Publication	Date of Publication	Type
Holomorphic models of exponential types in linear logic	2023-04-28	Paper
Constructing linear bicategories	2022-09-12	Paper
Finiteness spaces and generalized power series	2022-05-03	Paper
Finiteness spaces, étale groupoids and their convolution algebras	2020-09-23	Paper
Differential categories revisited	2020-03-24	Paper
Affine geometric spaces in tangent categories	2019-04-30	Paper
Finiteness spaces and generalized power series	2018-05-24	Paper
The shuffle quasimonad and modules with differentiation and integration	2018-04-23	Paper
Derivations in Codifferential Categories	2017-04-04	Paper
Von Neumann categories	2015-10-29	Paper
Cartesian Differential Storage Categories	2015-07-08	Paper
A Logical Basis for Quantum Evolution and Entanglement	2014-05-08	Paper
Conformal Field Theory as a Nuclear Functor	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4904081	2013-01-28	Paper
Deep inference and probabilistic coherence spaces	2012-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2910140	2012-09-07	Paper
Dagger Categories and Formal Distributions	2011-05-31	Paper
Proof Nets as Formal Feynman Diagrams	2011-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q3552029	2010-04-20	Paper
Differential categories	2007-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4650576	2005-02-18	Paper
Softness of hypercoherences and MALL full completeness	2005-01-31	Paper
Discrete quantum causal dynamics	2004-02-03	Paper
The logic of linear functors	2003-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4790674	2003-08-24	Paper
Feedback for linearly distributive categories: Traces and fixpoints	2001-07-09	Paper
Nuclear and trace ideals in tensored \(^*\)-categories	2000-02-15	Paper
The shuffle Hopf algebra and noncommutative full completeness	1999-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4222824	1998-12-13	Paper
Categories for computation in context and unified logic	1998-01-12	Paper
! and ? – Storage as tensorial strength	1997-04-13	Paper
Hopf algebras and linear logic	1997-04-09	Paper
Natural deduction and coherence for weakly distributive categories	1997-03-19	Paper
Linear Läuchli semantics	1997-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4282573	1994-09-04	Paper
Linear logic, coherence and dinaturality	1993-10-25	Paper

Research outcomes over time

This page was built for person: Richard F. Blute