![](/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) - A type theory for cartesian closed bicategories (Extended Abstract)
Fiore, Marcelo, Saville, PhilipYear:
2019
Language:
english
DOI:
10.1109/lics.2019.8785708
File:
PDF, 464 KB
english, 2019