M. Escardó. (2019)cite arxiv:1911.00580Comment: 211 pages, extended version of Midlands Graduate School course (2019), includes Agda-verified mathematics. Sources available at github (as explained in the pdf file), but not in LaTeX, last revised September 2022.
M. Porter. (2022)cite arxiv:2201.07794Comment: working paper (associated with my data-ethics lecture at the 2021 AMS Short Course on Mathematical and Computational Methods for Complex Social Systems); not yet refereed; private comments and suggestions are appreciated.