equal
deleted
inserted
replaced
634 url = {\url{http://www.cl.cam.ac.uk/Research/Reports/TR130-lcp-generic-theorem-prover.dvi.gz}}} |
634 url = {\url{http://www.cl.cam.ac.uk/Research/Reports/TR130-lcp-generic-theorem-prover.dvi.gz}}} |
635 |
635 |
636 %replaces paulson-final |
636 %replaces paulson-final |
637 @Article{paulson-mscs, |
637 @Article{paulson-mscs, |
638 author = {Lawrence C. Paulson}, |
638 author = {Lawrence C. Paulson}, |
639 title = {Final Coalgebras as Greatest Fixed Points in ZF Set Theory}, |
639 title = {Final Coalgebras as Greatest Fixed Points |
|
640 in {ZF} Set Theory}, |
640 journal = {Mathematical Structures in Computer Science}, |
641 journal = {Mathematical Structures in Computer Science}, |
641 year = 1999, |
642 year = 1999, |
642 volume = 9, |
643 volume = 9, |
643 note = {in press}} |
644 note = {in press}} |
644 |
645 |