The Formal Theory of Monads, Univalently

Authors :: Gaboardi, M.
Weide, N.M. van der
Gaboardi, M.
Weide, N.M. van der
Source :: Gaboardi, M. (ed.), FSCD 2023: 8th International Conference on Formal Structures for Computation and Deduction, July 3-6, 2023, Rome, Italy; Leibniz International Proceedings in Informatics; 6:1; 6:19; 9783959772778; 1868-8969; Leibniz International Proceedings in Informatics ; 260; Gaboardi, M. (ed.), FSCD 2023: 8th International Conference on Formal Structures for Computation and Deduction, July 3-6, 2023, Rome, Italy~Leibniz International Proceedings in Informatics~6:1~6:19~~9783959772778~1868-8969~~~Leibniz International Proceedings in Informatics ; 260~
Publication Year :: 2023
Abstract: FSCD 2023<br />Contains fulltext : 294792.pdf (Publisher’s version ) (Open Access)

Database :: OAIster
Journal :: Gaboardi, M. (ed.), FSCD 2023: 8th International Conference on Formal Structures for Computation and Deduction, July 3-6, 2023, Rome, Italy; Leibniz International Proceedings in Informatics; 6:1; 6:19; 9783959772778; 1868-8969; Leibniz International Proceedings in Informatics ; 260; Gaboardi, M. (ed.), FSCD 2023: 8th International Conference on Formal Structures for Computation and Deduction, July 3-6, 2023, Rome, Italy~Leibniz International Proceedings in Informatics~6:1~6:19~~9783959772778~1868-8969~~~Leibniz International Proceedings in Informatics ; 260~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1391674071
Document Type :: Electronic Resource