The calculus of constructions. Documentation and users's guide. Version 4.10 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1989

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

Projet Formel
  • Function : Author

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00070056 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More