Work

CoInduction in Coq

Year: 2006

Type: preprint

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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.cs/0603119

Author: Bertot, Yves

Institutions: Institut national de recherche en sciences et technologies du numérique, Centre Inria d'Université Côte d'Azur

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4394647770

Cites:

Cited by:

Related to: 10