Nguyen, Van C.; Veliche, Oana A truncated minimal free resolution of the residue field. (English) Zbl 1496.13021 Miller, Claudia (ed.) et al., Women in commutative algebra. Proceedings of the 2019 WICA workshop, Banff, Alberta, Canada, October 20–25, 2019. Cham: Springer. Assoc. Women Math. Ser. 29, 399-437 (2022). MSC: 13D02 13H10 13D07 PDFBibTeX XMLCite \textit{V. C. Nguyen} and \textit{O. Veliche}, Assoc. Women Math. Ser. 29, 399--437 (2022; Zbl 1496.13021) Full Text: DOI arXiv
Gabbay, Murdoch J. Algebras of UTxO blockchains. (English) Zbl 1489.68084 Math. Struct. Comput. Sci. 31, No. 9, 1034-1089 (2021). MSC: 68P25 18A40 94A60 PDFBibTeX XMLCite \textit{M. J. Gabbay}, Math. Struct. Comput. Sci. 31, No. 9, 1034--1089 (2021; Zbl 1489.68084) Full Text: DOI arXiv
Emmenegger, Jacopo W-types in setoids. (English) Zbl 1505.03029 Log. Methods Comput. Sci. 17, No. 3, Paper No. 28, 33 p. (2021). Reviewer: Jonathan Sterling (Aarhus) MSC: 03B38 03B35 PDFBibTeX XMLCite \textit{J. Emmenegger}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 28, 33 p. (2021; Zbl 1505.03029) Full Text: arXiv Link
Emmenegger, Jacopo; Palmgren, Erik Exact completion and constructive theories of sets. (English) Zbl 1485.03257 J. Symb. Log. 85, No. 2, 563-584 (2020). Reviewer: Amit Kuber (Kanpur) MSC: 03G30 18A35 18B25 18A15 03B38 18B05 18D15 03F55 PDFBibTeX XMLCite \textit{J. Emmenegger} and \textit{E. Palmgren}, J. Symb. Log. 85, No. 2, 563--584 (2020; Zbl 1485.03257) Full Text: DOI arXiv
Ekici, Burak; Kaliszyk, Cezary Mac Lane’s comparison theorem for the Kleisli construction formalized in Coq. (English) Zbl 1474.68455 Math. Comput. Sci. 14, No. 3, 533-549 (2020). MSC: 68V20 18A15 18A40 18C20 68N30 PDFBibTeX XMLCite \textit{B. Ekici} and \textit{C. Kaliszyk}, Math. Comput. Sci. 14, No. 3, 533--549 (2020; Zbl 1474.68455) Full Text: DOI
Ahrens, Benedikt; Hirschowitz, André; Lafont, Ambroise; Maggesi, Marco High-level signatures and initial semantics. (English) Zbl 07533329 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 4, 22 p. (2018). MSC: 68-XX 18C15 PDFBibTeX XMLCite \textit{B. Ahrens} et al., LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 4, 22 p. (2018; Zbl 07533329) Full Text: DOI
Brandenburg, Martin Operations on categories of modules are given by Schur functors. (English) Zbl 1403.13022 Appl. Categ. Struct. 26, No. 2, 287-308 (2018). Reviewer: Radoslav M. Dimitrić (New York) MSC: 13C60 16D90 18A22 18A25 18D05 PDFBibTeX XMLCite \textit{M. Brandenburg}, Appl. Categ. Struct. 26, No. 2, 287--308 (2018; Zbl 1403.13022) Full Text: DOI arXiv
Robinson, Michael Sheaf and duality methods for analyzing multi-model systems. (English) Zbl 1404.93004 Pesenson, Isaac (ed.) et al., Recent applications of harmonic analysis to function spaces, differential equations, and data science. Novel methods in harmonic analysis. Volume 2. Cham: Birkhäuser/Springer (ISBN 978-3-319-55555-3/hbk; 978-3-319-55556-0/ebook; 978-3-319-55860-8/set). Applied and Numerical Harmonic Analysis, 653-703 (2017). MSC: 93A30 18A99 18F20 55N30 94C30 PDFBibTeX XMLCite \textit{M. Robinson}, in: Recent applications of harmonic analysis to function spaces, differential equations, and data science. Novel methods in harmonic analysis. Volume 2. Cham: Birkhäuser/Springer. 653--703 (2017; Zbl 1404.93004) Full Text: DOI arXiv