Conference Papers
Year : 2002
Laboratoire CEDRIC : Connect in order to contact the contributor
https://hal.science/hal-01125131
Submitted on : Friday, March 6, 2015-11:00:15 AM
Last modification on : Friday, August 5, 2022-2:54:00 PM
Dates and versions
Identifiers
- HAL Id : hal-01125131 , version 1
Cite
Olivier Pons. Generalization in Type Theory Based Proof Assistants. TYPE 00, Jan 2002, X, France. pp.217-232. ⟨hal-01125131⟩
Collections
7
View
0
Download