Thermorégulation au cours du jeûne au repos et à l ... - beep@ird.fr

Thermorégulation au cours du jeûne au repos et à l ... - beep@ird.fr

Sujet : Programmation fonctionnelle certifiée. L'extraction de programmes dans l'assistant Coq. Soutenue le 9 juillet 2004 devant la ...