|
 
|
[PON02] Generalization in Type Theory Based Proof Assistants
Conférence Internationale avec comité de lecture : TYPE 00, January 2002, Vol. 2277, pp.217-232, Series LNCS,
motcle:
BibTeX
| @inproceedings { | |||
| PON02, | |||
| title | = | "{Generalization in Type Theory Based Proof Assistants}", | |
| author | = | " O. Pons ", | |
| booktitle | = | "{TYPE 00}", | |
| year | = | 2002, | |
| month | = | "January", | |
| series | = | "LNCS", | |
| volume | = | 2277, | |
| pages | = | "217-232", | |
| } | |||
