|
1 @book{Birkhoff79, |
|
2 author = {Garret Birkhoff}, |
|
3 title = {Lattice Theory}, |
|
4 publisher = {American Mathematical Society}, |
|
5 year=1979 |
|
6 } |
|
7 |
|
8 @Book{davenport92, |
|
9 author = {H. Davenport}, |
|
10 title = {The Higher Arithmetic}, |
|
11 publisher = {Cambridge University Press}, |
|
12 year = 1992 |
|
13 } |
|
14 |
|
15 @techreport{Gordon-TR68, |
|
16 author = "Mike Gordon", |
|
17 title = "{HOL}: {A} Machine Oriented Formulation of Higher-Order Logic", |
|
18 institution = "University of Cambridge, Computer Laboratory", |
|
19 number = 68, |
|
20 year = 1985 |
|
21 } |
|
22 |
1 @book{card-book, |
23 @book{card-book, |
2 title = {Introduction to {C}ardinal {A}rithmetic}, |
24 title = {Introduction to {C}ardinal {A}rithmetic}, |
3 author = {M. Holz and K. Steffens and E. Weitz}, |
25 author = {M. Holz and K. Steffens and E. Weitz}, |
4 publisher = "Birkh{\"{a}}user", |
26 publisher = "Birkh{\"{a}}user", |
5 year = 1999, |
27 year = 1999, |
6 } |
28 } |
7 |
29 |
8 @Book{davenport92, |
30 @book{Nipkow-et-al:2002:tutorial, |
9 author = {H. Davenport}, |
31 author = {T. Nipkow and L. C. Paulson and M. Wenzel}, |
10 title = {The Higher Arithmetic}, |
32 title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic}, |
11 publisher = {Cambridge University Press}, |
33 series = {LNCS}, |
12 year = 1992 |
34 volume = 2283, |
|
35 year = 2002, |
|
36 publisher = {Springer-Verlag} |
13 } |
37 } |
14 |
38 |
15 @InProceedings{paulin-tlca, |
39 @InProceedings{paulin-tlca, |
16 author = {Christine Paulin-Mohring}, |
40 author = {Christine Paulin-Mohring}, |
17 title = {Inductive Definitions in the System {Coq}: Rules and |
41 title = {Inductive Definitions in the System {Coq}: Rules and |
24 booktitle = {Typed Lambda Calculi and Applications}, |
48 booktitle = {Typed Lambda Calculi and Applications}, |
25 editor = {M. Bezem and J.F. Groote}, |
49 editor = {M. Bezem and J.F. Groote}, |
26 year = 1993, |
50 year = 1993, |
27 publisher = {Springer}, |
51 publisher = {Springer}, |
28 series = {LNCS 664}} |
52 series = {LNCS 664}} |
29 |
|
30 @book{Birkhoff79, |
|
31 author = {Garret Birkhoff}, |
|
32 title = {Lattice Theory}, |
|
33 publisher = {American Mathematical Society}, |
|
34 year=1979 |
|
35 } |
|
36 |
|
37 @book{Nipkow-et-al:2002:tutorial, |
|
38 author = {T. Nipkow and L. C. Paulson and M. Wenzel}, |
|
39 title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic}, |
|
40 series = {LNCS}, |
|
41 volume = 2283, |
|
42 year = 2002, |
|
43 publisher = {Springer-Verlag} |
|
44 } |
|