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