changeset 6:5c0e43b1b559

Import reference from atton-thesis
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Jan 2017 15:32:57 +0900
parents cb4bf01e9ad9
children d96616ca051a
files paper/Makefile paper/atton-master.tex paper/reference.bib
diffstat 3 files changed, 83 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/paper/Makefile	Mon Jan 16 15:30:59 2017 +0900
+++ b/paper/Makefile	Mon Jan 16 15:32:57 2017 +0900
@@ -1,6 +1,6 @@
 # Settings
 TARGET=atton-master
-BIBTEX=echo # pbibtex
+BIBTEX=pbibtex
 BB=extractbb
 
 vpath pdf fig
--- a/paper/atton-master.tex	Mon Jan 16 15:30:59 2017 +0900
+++ b/paper/atton-master.tex	Mon Jan 16 15:32:57 2017 +0900
@@ -105,7 +105,7 @@
 %参考文献
 \nocite{*}
 \bibliographystyle{junsrt}
-% \bibliography{master_paper}
+\bibliography{reference}
 
 %発表履歴
 \addcontentsline{toc}{chapter}{発表履歴}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/reference.bib	Mon Jan 16 15:32:57 2017 +0900
@@ -0,0 +1,81 @@
+@book{Girard:1989:PT:64805,
+ author    = {Girard, Jean-Yves and Taylor, Paul and Lafont, Yves},
+ title     = {Proofs and Types},
+ year      = {1989},
+ isbn      = {0-521-37181-3},
+ publisher = {Cambridge University Press},
+ address   = {New York, NY, USA},
+}
+
+@book{opac-b1092711,
+   title     = "Introduction to higher order categorical logic",
+   author    = "Lambek, Joachim (math辿maticien) and Scott, P. J.",
+   series    = "Cambridge studies in advanced mathematics",
+   publisher = "Cambridge University Press",
+   address   = "Cambridge, New York (N. Y.), Melbourne",
+   url       = "http://opac.inria.fr/record=b1092711",
+   isbn      = "0-521-24665-2",
+   year      = 1986
+}
+
+@book{BarrM:cattcs,
+    author    = {Barr, Michael and Wells, Charles},
+    title     = {Category Theory for Computing Science},
+    publisher = {Prentice-Hall},
+    series    = {International Series in Computer Science},
+    year      = 1990,
+    note      = {Second edition, 1995},
+    isbn      = {0-13-120486-6},
+    lccn      = {QA76.9.M35B37 1990}
+}
+
+@article{Moggi:1991:NCM:116981.116984,
+    author     = {Moggi, Eugenio},
+    title      = {Notions of Computation and Monads},
+    journal    = {Inf. Comput.},
+    issue_date = {July 1991},
+    volume     = {93},
+    number     = {1},
+    month      = jul,
+    year       = {1991},
+    issn       = {0890-5401},
+    pages      = {55--92},
+    numpages   = {38},
+    url        = {http://dx.doi.org/10.1016/0890-5401(91)90052-4},
+    doi        = {10.1016/0890-5401(91)90052-4},
+    acmid      = {116984},
+    publisher  = {Academic Press, Inc.},
+    address    = {Duluth, MN, USA},
+}
+
+@techreport{JonesDuponcheel93,
+  author      = {M. P. Jones and L. Duponcheel},
+  title       = {Composing monads},
+  institution = {Yale University},
+  year        = {1993},
+  month       = {December},
+  number      = {YALEU/DCS/RR-1004},
+  type        = {Research Report},
+  ftp         = {ftp://ftp.cs.nott.ac.uk/nott-fp/reports/yale/RR-1004.ps}
+}
+
+@misc{agda,
+    title = {The Agda wiki},
+    howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
+    note = {Accessed: 2015/02/17(Tue)}
+}
+
+
+@misc{git,
+    title = {Git},
+    howpublished = {\url{http://git-scm.com/}},
+    note = {Accessed: 2015/02/17(Tue)}
+}
+
+
+@misc{hg,
+    title = {Mercurial SCM},
+    howpublished = {\url{http://mercurial.selenic.com/}},
+    note = {Accessed: 2015/02/17(Tue)}
+}
+