Skip to Main content Skip to Navigation
Conference papers

Generalization in Type Theory Based Proof Assistants

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01125131
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:00:15 AM
Last modification on : Tuesday, October 22, 2019 - 3:10:09 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

40