A type theory for cartesian closed bicategories

Philip Saville, Marcelo Fiore

Research output: Contribution to conference › Abstract

1 Conference contribution

1 results

2019
A type theory for cartesian closed bicategories: (Extended Abstract)
Fiore, M. & Saville, P., 5 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 24-27 June 2019 - Vancouver. Institute of Electrical and Electronics Engineers, p. 1-13 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File