 |
 |
 |
Lectures
CoInduction in Coq
Abstract : 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.
Cited literature [19 references]
https://cel.archives-ouvertes.fr/inria-00001174
Contributor : Yves Bertot Connect in order to contact the contributor
Submitted on : Tuesday, March 28, 2006 - 5:13:03 PM
Last modification on : Thursday, January 20, 2022 - 5:30:46 PM
Long-term archiving on: : Saturday, April 3, 2010 - 9:31:41 PM
Contributor : Yves Bertot Connect in order to contact the contributor
Submitted on : Tuesday, March 28, 2006 - 5:13:03 PM
Last modification on : Thursday, January 20, 2022 - 5:30:46 PM
Long-term archiving on: : Saturday, April 3, 2010 - 9:31:41 PM