Interactive Theorem Proving and Program Development
Springer Berlin Heidelberg
Chapter title |
** Foundations of Inductive Types
|
---|---|
Chapter number | 14 |
Book title |
Interactive Theorem Proving and Program Development
|
Published in |
Texts in Theoretical Computer Science. An EATCS Series, January 2004
|
DOI | 10.1007/978-3-662-07964-5_14 |
Book ISBNs |
978-3-64-205880-6, 978-3-66-207964-5
|
Authors |
Dr. Yves Bertot, Dr. Pierre Castéran, Yves Bertot, Pierre Castéran |