Search

Select Field:

Select Index:

Search Terms:

Lelay, Catherine, 1984-....

VIAF ID: 864144647721668380090 ( Personal )

Permalink: http://viaf.org/viaf/864144647721668380090

Preferred Forms

100 1 _ ‎‡a Lelay, Catherine,‏ ‎‡d 1984-....‏

Works

Title	Sources
Reinventing Coq's Reals library : toward a more suitable formalization of classical analysis.
Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée

Selected Co-authors

Countries and Regions of Publication (1)

Publication Statistics

About

Record Views

History of VIAF ID:864144647721668380090 (1)

© 2010-2021 OCLC
Privacy policy
Cookie Notice

Hosted by OCLC

About the dataset