| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{CaretteLemonnierZam-CentralSubmonadsand,
author = {Titouan Carette and Louis Lemonnier and Vladimir Zamdzhiev},
title = {Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages},
booktitle = {Proceedings of the Thirty eighth Annual IEEE Symposium on Logic in Computer Science (LICS 2023)},
year = {2023},
month = {June},
pages = {1--13},
location = {Boston, USA},
publisher = {IEEE Computer Society Press}
}