Mercurial > hg > Papers > 2015 > atton-thesis
comparison paper/reference.bib @ 60:1181b4facaf9
Move papers into directory
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 16 Feb 2015 17:09:53 +0900 |
| parents | reference.bib@bf136bd59e7a |
| children | 0286bbcb59af |
comparison
equal
deleted
inserted
replaced
| 59:8d9c51dedde1 | 60:1181b4facaf9 |
|---|---|
| 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 |