Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
| Title: | Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages |
|---|---|
| Authors: | Carette, Titouan; Lemonnier, Louis; Zamdzhiev, Vladimir |
| Source: | 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on. :1-13 Jun, 2023 |
| Relation: | 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| Database: | IEEE Xplore Digital Library |