1 @inproceedings{Nogin02, |
1 @inproceedings{Nogin02, |
2 author = {Aleksey Nogin}, |
2 author = {Aleksey Nogin}, |
3 title = {Quotient Types: A Modular Approach}, |
3 title = {Quotient Types: A Modular Approach}, |
4 booktitle = {TPHOLs}, |
4 booktitle = {Proc.~of the 15th TPHOLs conference}, |
5 year = {2002}, |
5 year = {2002}, |
6 pages = {263-280}, |
6 pages = {263-280}, |
7 ee = {http://link.springer.de/link/service/series/0558/bibs/2410/24100263.htm}, |
7 series = {LNCS}, |
8 crossref = {DBLP:conf/tphol/2002}, |
8 volume = {2646} |
9 bibsource = {DBLP, http://dblp.uni-trier.de} |
9 } |
10 } |
10 |
11 @proceedings{DBLP:conf/tphol/2002, |
11 @proceedings{DBLP:conf/tphol/2002, |
12 editor = {Victor Carre{\~n}o and |
12 editor = {Victor Carre{\~n}o and |
13 C{\'e}sar Mu{\~n}oz and |
13 C{\'e}sar Mu{\~n}oz and |
14 Sofi{\`e}ne Tahar}, |
14 Sofi{\`e}ne Tahar}, |
15 title = {Theorem Proving in Higher Order Logics, 15th International |
15 title = {Theorem Proving in Higher Order Logics, 15th International |
36 @inproceedings{ChicliPS02, |
36 @inproceedings{ChicliPS02, |
37 author = {Laurent Chicli and |
37 author = {Laurent Chicli and |
38 Loic Pottier and |
38 Loic Pottier and |
39 Carlos Simpson}, |
39 Carlos Simpson}, |
40 title = {{M}athematical {Q}uotients and {Q}uotient {T}ypes in {C}oq}, |
40 title = {{M}athematical {Q}uotients and {Q}uotient {T}ypes in {C}oq}, |
41 booktitle = {TYPES}, |
41 booktitle = {Proc of the TYPES workshop}, |
42 year = {2002}, |
42 year = {2002}, |
43 pages = {95-107}, |
43 pages = {95-107}, |
44 ee = {http://link.springer.de/link/service/series/0558/bibs/2646/26460095.htm}, |
44 series = {LNCS}, |
45 crossref = {DBLP:conf/types/2002}, |
45 volume = {2646} |
46 bibsource = {DBLP, http://dblp.uni-trier.de} |
|
47 } |
46 } |
48 |
47 |
49 @proceedings{DBLP:conf/types/2002, |
48 @proceedings{DBLP:conf/types/2002, |
50 editor = {Herman Geuvers and |
49 editor = {Herman Geuvers and |
51 Freek Wiedijk}, |
50 Freek Wiedijk}, |
75 |
74 |
76 @inproceedings{Slotosch97, |
75 @inproceedings{Slotosch97, |
77 author = {Oscar Slotosch}, |
76 author = {Oscar Slotosch}, |
78 title = {Higher Order Quotients and their Implementation in Isabelle |
77 title = {Higher Order Quotients and their Implementation in Isabelle |
79 HOL}, |
78 HOL}, |
80 booktitle = {TPHOLs}, |
79 booktitle = {Proc.~of the 10th TPHOLs conference}, |
81 year = {1997}, |
80 year = {1997}, |
82 pages = {291-306}, |
81 pages = {291-306}, |
83 ee = {http://dx.doi.org/10.1007/BFb0028401}, |
82 series = {LNCS}, |
84 crossref = {DBLP:conf/tphol/1997}, |
83 volume = {1275} |
85 bibsource = {DBLP, http://dblp.uni-trier.de} |
84 } |
86 } |
85 |
87 @proceedings{DBLP:conf/tphol/1997, |
86 @proceedings{DBLP:conf/tphol/1997, |
88 editor = {Elsa L. Gunter and |
87 editor = {Elsa L. Gunter and |
89 Amy P. Felty}, |
88 Amy P. Felty}, |
90 title = {Theorem Proving in Higher Order Logics, 10th International |
89 title = {Theorem Proving in Higher Order Logics, 10th International |
91 Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, |
90 Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, |
100 } |
99 } |
101 |
100 |
102 @inproceedings{Homeier05, |
101 @inproceedings{Homeier05, |
103 author = {Peter V. Homeier}, |
102 author = {Peter V. Homeier}, |
104 title = {A Design Structure for Higher Order Quotients}, |
103 title = {A Design Structure for Higher Order Quotients}, |
105 booktitle = {TPHOLs}, |
104 booktitle = {Proc of the 18th TPHOLs conference}, |
106 year = {2005}, |
105 year = {2005}, |
107 pages = {130-146}, |
106 pages = {130-146}, |
108 ee = {http://dx.doi.org/10.1007/11541868_9}, |
107 series = {LNCS}, |
109 crossref = {DBLP:conf/tphol/2005}, |
108 volume = {3603} |
110 bibsource = {DBLP, http://dblp.uni-trier.de} |
109 } |
111 } |
110 |
112 @proceedings{DBLP:conf/tphol/2005, |
111 @proceedings{DBLP:conf/tphol/2005, |
113 editor = {Joe Hurd and |
112 editor = {Joe Hurd and |
114 Thomas F. Melham}, |
113 Thomas F. Melham}, |
115 title = {Theorem Proving in Higher Order Logics, 18th International |
114 title = {Theorem Proving in Higher Order Logics, 18th International |
116 Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, |
115 Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, |