@article{ambal:hal-02536463, TITLE = {{HO$\pi$ in Coq}}, AUTHOR = {Ambal, Guillaume and Lenglet, Sergue{\"i} and Schmitt, Alan}, URL = {https://inria.hal.science/hal-02536463}, JOURNAL = {{Journal of Automated Reasoning}}, PUBLISHER = {{Springer Verlag}}, YEAR = {2020}, DOI = {10.1007/s10817-020-09553-0}, KEYWORDS = {Coq ; Higher-order process calculus ; Howe's method}, PDF = {https://inria.hal.science/hal-02536463v2/file/jar.pdf}, HAL_ID = {hal-02536463}, HAL_VERSION = {v2}, }