coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PDF thèse Nicolas Oury?

From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] PDF thèse Nicolas Oury?
Date: Tue, 23 May 2017 12:39:27 +0200

Bonjour.

Quelqu'un aurait-il un PDF de la thèse de Nicolas Oury?

Egalité et filtrage avec types dépendants dans le calcul des constructions inductives
http://www.theses.fr/2006PA112136

Cordialement,

Frédéric.

[Coq-Club] PDF thèse Nicolas Oury?, Frédéric Blanqui, 05/23/2017