Hackney, Philip; Rovelli, Martina Induced model structures for higher categories. (English) Zbl 07594302 Proc. Am. Math. Soc. 150, No. 11, 4629-4644 (2022). Reviewer: Jonathan Weinberger (Baltimore) MSC: 18N60 55U35 18N40 18A40 18N50 55U10 PDFBibTeX XMLCite \textit{P. Hackney} and \textit{M. Rovelli}, Proc. Am. Math. Soc. 150, No. 11, 4629--4644 (2022; Zbl 07594302) Full Text: DOI arXiv
Mannaa, Bassel; Møgelberg, Rasmus Ejlers; Veltri, Niccolò Ticking clocks as dependent right adjoints: denotational semantics for clocked type theory. (English) Zbl 1509.03053 Log. Methods Comput. Sci. 16, No. 4, Paper No. 17, 31 p. (2020). MSC: 03B38 03B40 18A40 68N18 68Q55 PDFBibTeX XMLCite \textit{B. Mannaa} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 17, 31 p. (2020; Zbl 1509.03053) Full Text: arXiv Link
Birkedal, Lars; Clouston, Ranald; Mannaa, Bassel; Ejlers Møgelberg, Rasmus; Pitts, Andrew M.; Spitters, Bas Modal dependent type theory and dependent right adjoints. (English) Zbl 1479.03011 Math. Struct. Comput. Sci. 30, No. 2, 118-138 (2020). MSC: 03B38 03B40 03B45 18A40 PDFBibTeX XMLCite \textit{L. Birkedal} et al., Math. Struct. Comput. Sci. 30, No. 2, 118--138 (2020; Zbl 1479.03011) Full Text: DOI arXiv
Ahrens, Benedikt; Matthes, Ralph; Mörtberg, Anders From signatures to monads in UniMath. (English) Zbl 1468.03007 J. Autom. Reasoning 63, No. 2, 285-318 (2019). MSC: 03B35 03B38 18C10 18C15 55U35 68V20 PDFBibTeX XMLCite \textit{B. Ahrens} et al., J. Autom. Reasoning 63, No. 2, 285--318 (2019; Zbl 1468.03007) Full Text: DOI arXiv