Théories des types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Lectures Year : 2004

Théories des types

Gilles Dowek

Abstract

Cours de DEA / Master 2 Version finale (2004)
Fichier principal
Vignette du fichier
theories_des_types.pdf (787.71 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-04056070 , version 1

Cite

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

Collections

INRIA INRIA2
90 View
28 Download

Share

Gmail Mastodon Facebook X LinkedIn More