Nicolas Behr
Nicolas Behr
Home
Publications
Talks
3
Fundamentals of Compositional Rewriting Theory
A foundational theory of compositional categorical rewriting theory is presented, based on a collection of fibration-like properties …
Nicolas Behr
,
Russ Harmer
,
Jean Krivine
Preprint
PDF
Cite
Slides
Video
Tracelet Hopf algebras and decomposition spaces
Tracelets are the intrinsic carriers of causal information in categorical rewriting systems. In this work, we assemble tracelets into a …
Nicolas Behr
,
Joachim Kock
Preprint
Cite
Slides
Video
Concurrency Theorems for Non-linear Rewriting Theories
Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic matches is well-known to permit the modeling of fusing and cloning …
Nicolas Behr
,
Russ Harmer
,
Jean Krivine
Preprint
Cite
Slides
Explicit formulae for all higher order exponential lacunary generating functions of Hermite polynomials
For a sequence $P=(p_n(x))_{n=0}^{\infty}$ of polynomials $p_n(x)$, we study the $K$-tuple and $L$-shifted exponential lacunary …
Nicolas Behr
,
Gérard H.E. Duchamp
,
Karol A. Penson
Preprint
PDF
Cite
Slides
Combinatorics of chemical reaction systems
We propose a concise stochastic mechanics framework for chemical reaction systems that allows to formulate evolution equations for …
Nicolas Behr
,
Gérard H.E. Duchamp
,
Karol A. Penson
Preprint
PDF
Cite
Slides
The algebras of graph rewriting
The concept of diagrammatic combinatorial Hopf algebras in the form introduced for describing the Heisenberg-Weyl algebra in
Blasiak et …
Nicolas Behr
,
Vincent Danos
,
Ilias Garnier
,
Tobias Heindel
Preprint
PDF
Cite
Slides
Video
Cite
×