المؤلفون: Chollet, Emma, Clarke, Bryce, Johnson, Michael, Songa, Maurine, Wang, Vincent, Zardini, Gioele

المصدر: EPTCS 372, 2022, pp. 164-177

مصطلحات موضوعية: Mathematics - Category Theory

URL الوصول: http://arxiv.org/abs/2105.05422

المؤلفون: Chollet, Emma, Clarke, Bryce, Johnson, Michael, Songa, Maurine, Wang, Vincent, Zardini, Gioele, id_orcid:0 000-0002-6601-2237

المساهمون: Kishida, Kohei

المصدر: Electronic Proceedings in Theoretical Computer Science, 372 ; Proceedings of the Fourth International Conference on Applied Category Theory

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/wos/001048986300013; info:eu-repo/grantAgreement/SNF/NCCR full proposal/180545; http://hdl.handle.net/20.500.11850/489780

الاتاحة: https://hdl.handle.net/20.500.11850/489780
https://doi.org/10.3929/ethz-b-000489780