coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Cuihtlauac ALVARADO <cuihtlauac.alvarado AT francetelecom.com>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] soutenance de these
- Date: Tue, 17 Dec 2002 16:22:18 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
- Organization: France Telecom R&D - DTL/TAL
Bonjour,
Je soutient ma these demain, mercredi 18 decembre 2002, au LRI a
Orsay, batiment 490, salle 79 a 14h30 :
Reflexion pour la reecriture dans le calcul de constructions inductives
http://perso.wanadoo.fr/cuihtlauac.alvarado/these.ps.gz
Ensuite, il y aura un pot.
--
Cuihtlauac ALVARADO - France Telecom R&D - DTL/TAL
2, avenue Pierre Marzin - 22307 Lannion - France
Tel: +33 2 96 05 32 73 - Fax: +33 2 96 05 39 45
- [Coq-Club] soutenance de these, Cuihtlauac ALVARADO
- [Coq-Club] Reducing memory usage, Russell O'Connor
Archive powered by MhonArc 2.6.16.