@inproceedings{lenglet:hal-01614987, TITLE = {{HO$\pi$ in Coq}}, AUTHOR = {Lenglet, Sergue{\"i} and Schmitt, Alan}, URL = {https://inria.hal.science/hal-01614987}, BOOKTITLE = {{CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs}}, ADDRESS = {Los Angeles, United States}, PAGES = {14}, YEAR = {2018}, MONTH = Jan, DOI = {10.1145/3167083}, KEYWORDS = {CCS Concepts $\bullet$ Theory of computation $\rightarrow$ Process calculi ; Coq formalization ; Higher-order process calculus ; Howe's method}, PDF = {https://inria.hal.science/hal-01614987v3/file/cpp18.pdf}, HAL_ID = {hal-01614987}, HAL_VERSION = {v3}, }