Reports
Year : 1987
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00075883
Submitted on : Wednesday, May 24, 2006-7:31:24 PM
Last modification on : Tuesday, February 7, 2023-3:41:23 AM
Long-term archiving on: Friday, May 13, 2011-4:08:32 PM
Dates and versions
Identifiers
- HAL Id : inria-00075883 , version 1
Cite
Y. Lafont. De la deduction naturelle a la machine categorique. RR-0670, INRIA. 1987. ⟨inria-00075883⟩
Collections
47
View
79
Download