%0 Conference Paper %1 conf/cpp/AdjedjLMPP24 %A Adjedj, Arthur %A Lennon-Bertrand, Meven %A Maillard, Kenji %A Pédrot, Pierre-Marie %A Pujet, Loïc %B CPP %D 2024 %E Timany, Amin %E Traytel, Dmitriy %E Pientka, Brigitte %E Blazy, Sandrine %I ACM %K dblp %P 230-245 %T Martin-Löf à la Coq. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2024.html#AdjedjLMPP24

@inproceedings{conf/cpp/AdjedjLMPP24, added-at = {2024-01-11T00:00:00.000+0100}, author = {Adjedj, Arthur and Lennon-Bertrand, Meven and Maillard, Kenji and Pédrot, Pierre-Marie and Pujet, Loïc}, biburl = {https://www.bibsonomy.org/bibtex/26b53721af66f06f8ef447a20089a07c6/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2024}, editor = {Timany, Amin and Traytel, Dmitriy and Pientka, Brigitte and Blazy, Sandrine}, ee = {https://doi.org/10.1145/3636501.3636951}, interhash = {54d40126d75d479c1f641a9bf95fcb8a}, intrahash = {6b53721af66f06f8ef447a20089a07c6}, keywords = {dblp}, pages = {230-245}, publisher = {ACM}, timestamp = {2024-04-09T22:48:37.000+0200}, title = {Martin-Löf à la Coq.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2024.html#AdjedjLMPP24}, year = 2024 }