181 author = {Stefan Berghofer and Markus Wenzel}, |
181 author = {Stefan Berghofer and Markus Wenzel}, |
182 title = {Inductive datatypes in {HOL} --- lessons learned in |
182 title = {Inductive datatypes in {HOL} --- lessons learned in |
183 {F}ormal-{L}ogic {E}ngineering}, |
183 {F}ormal-{L}ogic {E}ngineering}, |
184 crossref = {tphols99}} |
184 crossref = {tphols99}} |
185 |
185 |
|
186 |
|
187 @InProceedings{Bezem-Coquand:2005, |
|
188 author = {M.A. Bezem and T. Coquand}, |
|
189 title = {Automating {Coherent Logic}}, |
|
190 booktitle = {LPAR-12}, |
|
191 editor = {G. Sutcliffe and A. Voronkov}, |
|
192 volume = 3835, |
|
193 series = LNCS, |
|
194 publisher = Springer} |
|
195 |
186 @book{Bird-Wadler,author="Richard Bird and Philip Wadler", |
196 @book{Bird-Wadler,author="Richard Bird and Philip Wadler", |
187 title="Introduction to Functional Programming",publisher=PH,year=1988} |
197 title="Introduction to Functional Programming",publisher=PH,year=1988} |
188 |
198 |
189 @book{Bird-Haskell,author="Richard Bird", |
199 @book{Bird-Haskell,author="Richard Bird", |
190 title="Introduction to Functional Programming using Haskell", |
200 title="Introduction to Functional Programming using Haskell", |