@techreport{darondeau:inria-00076340, TITLE = {{A formal proof system for infinitary rational expressions}}, AUTHOR = {Darondeau, Philippe and Kott, Laurent}, URL = {https://inria.hal.science/inria-00076340}, TYPE = {Research Report}, NUMBER = {RR-0218}, INSTITUTION = {{INRIA}}, YEAR = {1983}, PDF = {https://inria.hal.science/inria-00076340/file/RR-0218.pdf}, HAL_ID = {inria-00076340}, HAL_VERSION = {v1}, }