Skip to main content
alibris logo

Yves Bertot

Yves Bertot is a Senior Researcher and Project Leader at the French National Institute for Research in Computer Science and Control (INRIA), Sophia Antipolis. Born in 1964, he received his Ph.D. from the University of Nice in 1991 and is co-author (with Pierre Casteran) of Coq'Art: The Calculus of Inductive Constructions (2004).

Related Books
Alibris BBB Business Review

Terms of Use | Privacy Policy | Recommendations by Simularity | Accessibility Statement
Copyright © 1998 - 2024 Alibris UK. All rights reserved.

Alibris, the Alibris logo, and Alibris.com are registered trademarks of Alibris, Inc.

Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited, Baker & Taylor, Inc., or by their respective licensors, or by the publishers, or by their respective licensors. For personal use only. All rights reserved. All rights in images of books or other publications are reserved by the original copyright holders.