Reports
Year : 1982
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00076427
Submitted on : Wednesday, May 24, 2006-8:59:38 PM
Last modification on : Tuesday, February 7, 2023-3:41:42 AM
Long-term archiving on: Friday, May 13, 2011-8:27:40 PM
Dates and versions
Identifiers
- HAL Id : inria-00076427 , version 1
Cite
Eric Madelaine. Le systeme Perluette et les preuves de representation de types abstraits. RR-0133, INRIA. 1982. ⟨inria-00076427⟩
Collections
67
View
17
Download