Some representations of real numbers using integer sequences.Published in:Mathematical Structures in Computer Science, 2022, v. 32, n. 5, p. 648, doi. 10.1017/S0960129522000342By:Mazo, Loïc;Da Col-Jacob, Marie-Andrée;Fuchs, Laurent;Magaud, Nicolas;Skapin, GaëllePublication type:Article
Rewriting in Gray categories with applications to coherence.Published in:Mathematical Structures in Computer Science, 2022, v. 32, n. 5, p. 574, doi. 10.1017/S0960129522000299By:Forest, Simon;Mimram, SamuelPublication type:Article