Vikraman Choudhury et Marcelo Fiore, « Free Commutative Monoids in Homotopy Type Theory », Electronic Notes in Theoretical Informatics and Computer Science, proceedings of MFPS XXXVIII, vol. 1, (ISSN2969-2431, DOI10.46298/entics.10492, arXiv2110.05412, lire en ligne [PDF], consulté le )
books.google.com
(en) Arjeh M. Cohen, Hans Cuypers et Hans Sterk, Algebra Interactive!: Learning Algebra in an Exciting Way, Springer, (lire en ligne), p. 71.
(en) Henri Bourlès et Bogdan Marinescu, Linear Time-Varying Systems: Algebraic-Analytic Approach, Springer, (lire en ligne), p. 30.
doi.org
dx.doi.org
Vikraman Choudhury et Marcelo Fiore, « Free Commutative Monoids in Homotopy Type Theory », Electronic Notes in Theoretical Informatics and Computer Science, proceedings of MFPS XXXVIII, vol. 1, (ISSN2969-2431, DOI10.46298/entics.10492, arXiv2110.05412, lire en ligne [PDF], consulté le )
episciences.org
entics.episciences.org
Vikraman Choudhury et Marcelo Fiore, « Free Commutative Monoids in Homotopy Type Theory », Electronic Notes in Theoretical Informatics and Computer Science, proceedings of MFPS XXXVIII, vol. 1, (ISSN2969-2431, DOI10.46298/entics.10492, arXiv2110.05412, lire en ligne [PDF], consulté le )
issn.org
portal.issn.org
Vikraman Choudhury et Marcelo Fiore, « Free Commutative Monoids in Homotopy Type Theory », Electronic Notes in Theoretical Informatics and Computer Science, proceedings of MFPS XXXVIII, vol. 1, (ISSN2969-2431, DOI10.46298/entics.10492, arXiv2110.05412, lire en ligne [PDF], consulté le )