AccueilConnexion

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

Thèmes Cursus Enseignants

Enseignant : Paul Taylor

Page perso : http://www.cs.man.ac.uk/~pt/

Documents référencés

Pour voir les documents d’une ressource écrits par d’autres enseignants, cliquez sur son titre, ou bien sur son icône    ou   .

   Proofs and Types

Thème : Logique & Preuve – Cursus : Livre

   1989

   Contents  
By Jean-Yves Girard, translated and with appendices by Paul Taylor and Yves Lafont. Other formats are also available.
Jean-Yves Girard  , Yves Lafont  , Paul Taylor  
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.