|
 
|
[DDE07] Extracting Purely Functional Contents from Logical Inductive Types
Conférence Internationale avec comité de lecture : TPHOLs'07 Theorem Proving in Higher Order Logics, Kaiserslautern (Germany), January 2007, Vol. 4732, pp.70-85, Series LNCS,
motcle:
Equipe:
sys
BibTeX
| @inproceedings { | |||
| DDE07, | |||
| title | = | "{Extracting Purely Functional Contents from Logical Inductive Types}", | |
| author | = | " D. Delahaye and C. Dubois and J. Etienne ", | |
| booktitle | = | "{TPHOLs'07 Theorem Proving in Higher Order Logics, Kaiserslautern (Germany)}", | |
| year | = | 2007, | |
| month | = | "January", | |
| series | = | "LNCS", | |
| volume | = | 4732, | |
| pages | = | "70-85", | |
| } | |||
