Mercurial > hg > Papers > 2015 > atton-thesis

annotate paper/reference.bib @ 92:0354d3693324 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag paper_final for changeset 6a12eb22be8c
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 01 Mar 2015 13:08:51 +0900
parents 0286bbcb59af
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
54
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 @book{Girard:1989:PT:64805,
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 author = {Girard, Jean-Yves and Taylor, Paul and Lafont, Yves},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 title = {Proofs and Types},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 year = {1989},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 isbn = {0-521-37181-3},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 publisher = {Cambridge University Press},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 address = {New York, NY, USA},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 }
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 @book{opac-b1092711,
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 title = "Introduction to higher order categorical logic",
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 author = "Lambek, Joachim (mathématicien) and Scott, P. J.",
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 series = "Cambridge studies in advanced mathematics",
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 publisher = "Cambridge University Press",
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 address = "Cambridge, New York (N. Y.), Melbourne",
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 url = "http://opac.inria.fr/record=b1092711",
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 isbn = "0-521-24665-2",
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 year = 1986
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 }
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 @book{BarrM:cattcs,
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 author = {Barr, Michael and Wells, Charles},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 title = {Category Theory for Computing Science},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 publisher = {Prentice-Hall},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 series = {International Series in Computer Science},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 year = 1990,
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 note = {Second edition, 1995},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 isbn = {0-13-120486-6},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 lccn = {QA76.9.M35B37 1990}
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 }
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 @article{Moggi:1991:NCM:116981.116984,
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 author = {Moggi, Eugenio},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 title = {Notions of Computation and Monads},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 journal = {Inf. Comput.},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 issue_date = {July 1991},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 volume = {93},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 number = {1},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 month = jul,
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 year = {1991},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 issn = {0890-5401},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 pages = {55--92},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 numpages = {38},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 url = {http://dx.doi.org/10.1016/0890-5401(91)90052-4},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 doi = {10.1016/0890-5401(91)90052-4},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 acmid = {116984},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 publisher = {Academic Press, Inc.},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 address = {Duluth, MN, USA},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 }
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 @techreport{JonesDuponcheel93,
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 author = {M. P. Jones and L. Duponcheel},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 title = {Composing monads},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 institution = {Yale University},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 year = {1993},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 month = {December},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 number = {YALEU/DCS/RR-1004},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 type = {Research Report},
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 ftp = {ftp://ftp.cs.nott.ac.uk/nott-fp/reports/yale/RR-1004.ps}
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 }
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61
75
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
62 @misc{agda,
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
63 title = {The Agda wiki},
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
64 howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
65 note = {Accessed: 2015/02/17(Tue)}
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
66 }
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
67
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
68
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
69 @misc{git,
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
70 title = {Git},
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
71 howpublished = {\url{http://git-scm.com/}},
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
72 note = {Accessed: 2015/02/17(Tue)}
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
73 }
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
74
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
75
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
76 @misc{hg,
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
77 title = {Mercurial SCM},
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
78 howpublished = {\url{http://mercurial.selenic.com/}},
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
79 note = {Accessed: 2015/02/17(Tue)}
0286bbcb59af Mini fixes
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
80 }