%0 Conference Paper %1 conf/lics/KerjeanP24 %A Kerjean, Marie Morgane %A Pédrot, Pierre-Marie %B LICS %D 2024 %E Sobocinski, Pawel %E Lago, Ugo Dal %E Esparza, Javier %I ACM %K dblp %P 48:1-48:13 %T δ is for Dialectica. %U http://dblp.uni-trier.de/db/conf/lics/lics2024.html#KerjeanP24

@inproceedings{conf/lics/KerjeanP24, added-at = {2024-06-24T00:00:00.000+0200}, author = {Kerjean, Marie Morgane and Pédrot, Pierre-Marie}, biburl = {https://www.bibsonomy.org/bibtex/24923c5263d156706e5e13687e13ece7f/dblp}, booktitle = {LICS}, crossref = {conf/lics/2024}, editor = {Sobocinski, Pawel and Lago, Ugo Dal and Esparza, Javier}, ee = {https://doi.org/10.1145/3661814.3662106}, interhash = {427047d1cb6a56eb837edd89f9e76279}, intrahash = {4923c5263d156706e5e13687e13ece7f}, keywords = {dblp}, pages = {48:1-48:13}, publisher = {ACM}, timestamp = {2024-07-01T07:09:37.000+0200}, title = {δ is for Dialectica.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2024.html#KerjeanP24}, year = 2024 }