Mercurial > hg > Papers > 2018 > nozomi-master

annotate paper/reference.bib @ 6:5c0e43b1b559

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