CSCAT 2022

理論計算機科学と圏論ワークショップ

Computer Science and Category Theory