CoInduction in Coq
计算机科学中的逻辑
2007-05-23 v1
摘要
We describe the basic notions of co-induction as they are available in the coq system. As an application, we describe arithmetic properties for simple representations of real numbers.
引用
@article{arxiv.cs/0603119,
title = {CoInduction in Coq},
author = {Yves Bertot},
journal= {arXiv preprint arXiv:cs/0603119},
year = {2007}
}