The calculus of constructions. Documentation and users's guide. Version 4.10 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1989

The calculus of constructions. Documentation and users's guide. Version 4.10

Projet Formel (1)
Projet Formel
  • Fonction : Auteur
INRIA Rocquencourt

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RT-0110.pdf (7.63 Mo) Télécharger le fichier

Rapport De Recherche Inria  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 19 mai 2006-18:56:53

Dernière modification le : mardi 7 février 2023-03:38:19

Archivage à long terme le : mardi 22 février 2011-11:12:32

Télécharger pour visualiser

Dates et versions

inria-00070056 , version 1 (19-05-2006)

Identifiants

  • HAL Id : inria-00070056 , version 1

Citer

Projet Formel. The calculus of constructions. Documentation and users's guide. Version 4.10. RT-0110, INRIA. 1989, pp.203. ⟨inria-00070056⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA-RRRT INRIA2 LARA
134 Consultations
65 Téléchargements

Partager

Gmail Facebook X LinkedIn More