Mercurial > hg > Papers > 2015 > parusu-midterm

changeset 6:1e530e8bb7ef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix bibitem
author Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date Tue, 27 Oct 2015 15:34:26 +0900
parents 81268be687e6
children f218f749eba9
files midterm.pdf midterm.tex
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
Binary file midterm.pdf has changed
--- a/midterm.tex	Mon Oct 26 16:09:57 2015 +0900
+++ b/midterm.tex	Tue Oct 27 15:34:26 2015 +0900
@@ -163,8 +163,8 @@
     \bibitem{cell}
         {Sony Corporation}: {Cell broadband engine architecture} (2005).
 
-    \bibitem{monad}
-        Moggi, E.: Computational lambda-calculus and monads, {\em Proceedings of the Fourth Annual Symposium on Logic in computer science} (1989).
+    \bibitem{monad} 
+        Eugenio Moggi, Notion of Computation and Monads(1991)
 
     \bibitem{model-check}
         下地篤樹，河野真治：線形時相論理によるContinuation based