Normalized Types - Archive ouverte HAL Access content directly
Conference Papers Year : 2001

Normalized Types

Fichier principal
Vignette du fichier
courtieucsl2001.pdf (10.74 Mo) Télécharger le fichier

Dates and versions

hal-02346059 , version 1 (31-01-2020)

Identifiers

  • HAL Id : hal-02346059 , version 1

Cite

Pierre Courtieu. Normalized Types. Computer Science Logic, Sep 2001, Paris, France. ⟨hal-02346059⟩
38 View
13 Download

Share

Gmail Facebook X LinkedIn More