Skip to Main content Skip to Navigation
New interface
Conference papers

Generalization in Type Theory Based Proof Assistants

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01125131
Contributor : Laboratoire CEDRIC Connect in order to contact the contributor
Submitted on : Friday, March 6, 2015 - 11:00:15 AM
Last modification on : Friday, August 5, 2022 - 2:54:00 PM

Identifiers

  • HAL Id : hal-01125131, version 1

Collections

Citation

Olivier Pons. Generalization in Type Theory Based Proof Assistants. TYPE 00, Jan 2002, X, France. pp.217-232. ⟨hal-01125131⟩

Share

Metrics

Record views

7