Topological rewriting systems applied to standard bases and syntactic algebras

Cyrille Chenavier

We propose a functional description of rewriting systems on topological vector spaces. We introduce the topological confluence property as an approximation of the confluence proper…