![](/img/cover-not-exists.png)
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Describing free $\omega$ -categories
Forest, Simon, Mimram, SamuelYear:
2019
DOI:
10.1109/lics.2019.8785687
File:
PDF, 1.42 MB
2019