%0 Conference Paper %1 conf/cpp/VeltriV20 %A Veltri, Niccolò %A Vezzosi, Andrea %B CPP %D 2020 %E Blanchette, Jasmin %E Hritcu, Catalin %I ACM %K dblp %P 270-283 %T Formalizing π-calculus in guarded cubical Agda. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2020.html#VeltriV20 %@ 978-1-4503-7097-4

@inproceedings{conf/cpp/VeltriV20, added-at = {2021-04-09T00:00:00.000+0200}, author = {Veltri, Niccolò and Vezzosi, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/29756066e51e08184edfd0963913bda0c/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2020}, editor = {Blanchette, Jasmin and Hritcu, Catalin}, ee = {https://doi.org/10.1145/3372885.3373814}, interhash = {ff8bcda07404a495acc5ecb7dae6bd68}, intrahash = {9756066e51e08184edfd0963913bda0c}, isbn = {978-1-4503-7097-4}, keywords = {dblp}, pages = {270-283}, publisher = {ACM}, timestamp = {2024-04-09T22:48:37.000+0200}, title = {Formalizing π-calculus in guarded cubical Agda.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2020.html#VeltriV20}, year = 2020 }