المؤلفون: Gumm, H. Peter
مصطلحات موضوعية: Mathematics - Category Theory, Computer Science - Logic in Computer Science, 08B20 (Primary) 08B10, 18A22 (Secondary)
URL الوصول: http://arxiv.org/abs/1909.02259
مصطلحات الفهرس: Mathematics - Category Theory, Computer Science - Logic in Computer Science, 08B20 (Primary) 08B10, 18A22 (Secondary), text
URL: http://arxiv.org/abs/1909.02259