-
1تقرير
-
2تقرير
-
3تقرير
-
4تقرير
المؤلفون: Di Lavore, Elena, Sobociński, Paweł
المصدر: Logical Methods in Computer Science, Volume 19, Issue 3 (September 4, 2023) lmcs:10552
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory
الوصول الحر: http://arxiv.org/abs/2212.13229Test
-
5تقرير
المؤلفون: Di Lavore, Elena, Sobociński, Paweł
المصدر: EPTCS 380, 2023, pp. 268-283
مصطلحات موضوعية: Mathematics - Category Theory, Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/2205.08916Test
-
6
-
7تقرير
المؤلفون: Di Lavore, Elena, de Felice, Giovanni, Román, Mario
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Category Theory, 18M05
الوصول الحر: http://arxiv.org/abs/2202.02061Test
-
8
-
9تقرير
المؤلفون: Di Lavore, Elena, Gianola, Alessandro, Román, Mario, Sabadini, Nicoletta, Sobociński, Paweł
مصطلحات موضوعية: Mathematics - Category Theory, Computer Science - Logic in Computer Science, 18M10
الوصول الحر: http://arxiv.org/abs/2010.10069Test
-
10تقرير