Théories des types

Cours Année : 2004

(1)

Gilles Dowek

Inria Saclay - Ile de France

Cours de DEA / Master 2 Version finale (2004)

Informatique [cs] Logique en informatique [cs.LO]

Fichier principal

theories_des_types.pdf (787.71 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-04056070

Soumis le : lundi 3 avril 2023-12:04:00

Dernière modification le : mardi 4 avril 2023-03:29:18

hal-04056070 , version 1 (03-04-2023)

Gilles Dowek. Théories des types. Master. France. 2004, pp.136. ⟨hal-04056070⟩

INRIA INRIA2

78 Consultations

25 Téléchargements