Reports
Year : 1989
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00070056
Submitted on : Friday, May 19, 2006-6:56:53 PM
Last modification on : Tuesday, February 7, 2023-3:38:19 AM
Long-term archiving on: Tuesday, February 22, 2011-11:12:32 AM
Dates and versions
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⟩
Collections
134
View
65
Download