equal
deleted
inserted
replaced
89 pages = {89-119}} |
89 pages = {89-119}} |
90 |
90 |
91 |
91 |
92 @InProceedings{Berghofer-Wenzel:1999:TPHOL, |
92 @InProceedings{Berghofer-Wenzel:1999:TPHOL, |
93 author = {Stefan Berghofer and Markus Wenzel}, |
93 author = {Stefan Berghofer and Markus Wenzel}, |
94 title = {Inductive datatypes in HOL --- lessons learned in Formal-Logic Engineering}, |
94 title = {Inductive datatypes in {HOL} --- lessons learned in {F}ormal-{L}ogic {E}ngineering}, |
95 booktitle = {Theorem Proving in Higher Order Logics (TPHOLs'99)}, |
95 booktitle = {Theorem Proving in Higher Order Logics (TPHOLs'99)}, |
96 series = LNCS, |
96 series = LNCS, |
97 year = 1999, |
97 year = 1999, |
98 publisher = Springer, |
98 publisher = Springer |
99 note = {to appear} |
|
100 } |
99 } |
101 |
100 |
102 @book{Bird-Wadler,author="Richard Bird and Philip Wadler", |
101 @book{Bird-Wadler,author="Richard Bird and Philip Wadler", |
103 title="Introduction to Functional Programming",publisher=PH,year=1988} |
102 title="Introduction to Functional Programming",publisher=PH,year=1988} |
104 |
103 |