Homotopy Type Theory as Internal Languages of Diagrams of ?-Logoses
- Publication date
- 1 January 2023
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)