Thème : Logique & Preuve – Cursus : Livre

By Jean-Yves Girard, translated and with appendices by Paul Taylor and Yves Lafont. Other formats are also available.

Accueil Plan du site Contact et proposition de documents : qravs-ng-yvfgrf-qbg-raf-ylba-qbg-se

Les documents référencés sur ce site sont la propriété intellectuelle de leurs auteurs respectifs. Ne pas les reproduire sans autorisation.

Le code source de ce site est placé sous licence GPLv3.

DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

Proofs and Types