Uemura, Taichi A general framework for the semantics of type theory. (English) Zbl 07813328 Math. Struct. Comput. Sci. 33, No. 3, 134-179 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{T. Uemura}, Math. Struct. Comput. Sci. 33, No. 3, 134--179 (2023; Zbl 07813328) Full Text: DOI arXiv OA License
Sterling, Jonathan What should a generic object be? (English) Zbl 07712490 Math. Struct. Comput. Sci. 33, No. 1, 46-67 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{J. Sterling}, Math. Struct. Comput. Sci. 33, No. 1, 46--67 (2023; Zbl 07712490) Full Text: DOI arXiv
Faggian, Claudia; Guerrieri, Giulio; de’ Liguoro, Ugo; Treglia, Riccardo On reduction and normalization in the computational core. (English) Zbl 1512.68129 Math. Struct. Comput. Sci. 32, No. 7, 934-981 (2022). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{C. Faggian} et al., Math. Struct. Comput. Sci. 32, No. 7, 934--981 (2022; Zbl 1512.68129) Full Text: DOI arXiv
Garner, Richard The costructure-cosemantics adjunction for comodels for computational effects. (English) Zbl 1506.68051 Math. Struct. Comput. Sci. 32, No. 4, 374-419 (2022). MSC: 68Q55 18A40 18C15 PDFBibTeX XMLCite \textit{R. Garner}, Math. Struct. Comput. Sci. 32, No. 4, 374--419 (2022; Zbl 1506.68051) Full Text: DOI arXiv
Bizjak, Aleš; Ejlers Møgelberg, Rasmus Denotational semantics for guarded dependent type theory. (English) Zbl 1495.68127 Math. Struct. Comput. Sci. 30, No. 4, 342-378 (2020). MSC: 68Q55 03B38 18F20 68N18 PDFBibTeX XMLCite \textit{A. Bizjak} and \textit{R. Ejlers Møgelberg}, Math. Struct. Comput. Sci. 30, No. 4, 342--378 (2020; Zbl 1495.68127) Full Text: DOI arXiv
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
Riba, Colin Monoidal-closed categories of tree automata. (English) Zbl 1435.68183 Math. Struct. Comput. Sci. 30, No. 1, 62-117 (2020). MSC: 68Q45 03B70 03D05 03G30 18B20 18D15 18M45 PDFBibTeX XMLCite \textit{C. Riba}, Math. Struct. Comput. Sci. 30, No. 1, 62--117 (2020; Zbl 1435.68183) Full Text: DOI
Ghani, Neil; Nordvall Forsberg, Fredrik; Orsanigo, Federico Universal properties for universal types in bifibrational parametricity. (English) Zbl 1422.68032 Math. Struct. Comput. Sci. 29, No. 6, 810-827 (2019). MSC: 68N30 18A40 18C50 PDFBibTeX XMLCite \textit{N. Ghani} et al., Math. Struct. Comput. Sci. 29, No. 6, 810--827 (2019; Zbl 1422.68032) Full Text: DOI
Møgelberg, Rasmus E.; Paviotti, Marco Denotational semantics of recursive types in synthetic guarded domain theory. (English) Zbl 1411.68030 Math. Struct. Comput. Sci. 29, No. 3, 465-510 (2019). MSC: 68N30 68N18 68Q55 PDFBibTeX XMLCite \textit{R. E. Møgelberg} and \textit{M. Paviotti}, Math. Struct. Comput. Sci. 29, No. 3, 465--510 (2019; Zbl 1411.68030) Full Text: DOI
Møgelberg, Rasmus Ejlers From parametric polymorphism to models of polymorphic FPC. (English) Zbl 1172.68009 Math. Struct. Comput. Sci. 19, No. 4, 639-686 (2009). MSC: 68N18 03B40 18C50 68Q65 PDFBibTeX XMLCite \textit{R. E. Møgelberg}, Math. Struct. Comput. Sci. 19, No. 4, 639--686 (2009; Zbl 1172.68009) Full Text: DOI