Conference
The Yoneda embedding in simplicial type theory
| Τίτλος: | The Yoneda embedding in simplicial type theory |
|---|---|
| Συγγραφείς: | Gratzer, Daniel, Weinberger, Jonathan, Buchholtz, Ulrik |
| Πηγή: | 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) LICS Logic in Computer Science (LICS), 2025 40th Annual ACM/IEEE Symposium on. :127-142 Jun, 2025 |
| Relation: | 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798331579005 |
|---|---|
| DOI: | 10.1109/LICS65433.2025.00017 |