equal
deleted
inserted
replaced
554 publisher = CUP, |
554 publisher = CUP, |
555 note = {Translated by Yves LaFont and Paul Taylor}} |
555 note = {Translated by Yves LaFont and Paul Taylor}} |
556 |
556 |
557 @Book{mgordon-hol, |
557 @Book{mgordon-hol, |
558 editor = {M. J. C. Gordon and T. F. Melham}, |
558 editor = {M. J. C. Gordon and T. F. Melham}, |
559 title = {Introduction to {HOL}: A Theorem Proving Environment for |
559 title = {Introduction to {HOL}: A Theorem Proving Environment for Higher Order Logic}, |
560 Higher Order Logic}, |
|
561 publisher = CUP, |
560 publisher = CUP, |
562 year = 1993} |
561 year = 1993} |
563 |
562 |
564 @book{mgordon79, |
563 @book{mgordon79, |
565 author = {Michael J. C. Gordon and Robin Milner and Christopher P. |
564 author = {Michael J. C. Gordon and Robin Milner and Christopher P. |
1341 volume = 2, |
1340 volume = 2, |
1342 pages = {191-216}, |
1341 pages = {191-216}, |
1343 year = 1986, |
1342 year = 1986, |
1344 note = {Errata, JAR 4 (1988), 235--236 and JAR 18 (1997), 135}} |
1343 note = {Errata, JAR 4 (1988), 235--236 and JAR 18 (1997), 135}} |
1345 |
1344 |
|
1345 @InCollection{pitts93, |
|
1346 author = {A. Pitts}, |
|
1347 title = {The {HOL} Logic}, |
|
1348 editor = {M. J. C. Gordon and T. F. Melham}, |
|
1349 booktitle = {Introduction to {HOL}: A Theorem Proving Environment for Higher Order Logic}, |
|
1350 pages = {191--232}, |
|
1351 publisher = CUP, |
|
1352 year = 1993} |
|
1353 |
1346 @Article{pitts94, |
1354 @Article{pitts94, |
1347 author = {Andrew M. Pitts}, |
1355 author = {Andrew M. Pitts}, |
1348 title = {A Co-induction Principle for Recursively Defined Domains}, |
1356 title = {A Co-induction Principle for Recursively Defined Domains}, |
1349 journal = TCS, |
1357 journal = TCS, |
1350 volume = 124, |
1358 volume = 124, |