-
1تقرير
المؤلفون: Román, Mario
مصطلحات موضوعية: Mathematics - Category Theory, 18M50
الوصول الحر: http://arxiv.org/abs/2406.19816Test
-
2تقرير
-
3تقرير
المؤلفون: Román, Mario
مصطلحات موضوعية: Mathematics - Category Theory, Computer Science - Logic in Computer Science, 18M99
الوصول الحر: http://arxiv.org/abs/2404.06192Test
-
4تقرير
المؤلفون: Román, Mario, Sobociński, Paweł
مصطلحات موضوعية: Mathematics - Category Theory, 18M30
الوصول الحر: http://arxiv.org/abs/2305.06075Test
-
5تقرير
المؤلفون: Braithwaite, Dylan, Román, Mario
المصدر: EPTCS 397, 2023, pp. 39-53
مصطلحات موضوعية: Mathematics - Category Theory, Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/2305.02675Test
-
6تقرير
المؤلفون: Hefford, James, Román, Mario
المصدر: EPTCS 397, 2023, pp. 152-171
مصطلحات موضوعية: Mathematics - Category Theory, Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/2305.02906Test
-
7تقرير
-
8تقرير
-
9تقرير
-
10تقرير
المؤلفون: Román, Mario
المصدر: EPTCS 380, 2023, pp. 344-361
مصطلحات موضوعية: Mathematics - Category Theory, Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/2205.07664Test