文献

J-GLOBAL ID：200902138183325012   整理番号：00A0160287

新世紀フォーラム 大晦日の草稿

On New Year’s Eve.

著者 (1件)： 長谷川真人 (京大 数理解析研)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 17  号： 1  ページ： 15-18  発行年： 2000年01月17日 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 1998年のソフトウェア科学会大会と本誌上(1999)で,再...

シソーラス用語： *意味論 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=00A0160287&from=J-GLOBAL&jstjournalNo=Y0628A") }}

分類 (1件)： 計算理論  (JB02000A)

引用文献 (14件)：

• [1] Ariola, Z.M. and Blom, S.: Cyclic Lambda Calculi, Proc. 3rd International Symposium on Theoretical Aspects of Computer Software, Springer LNCS 1281 (1997), pp.77-106.
• [2] Fiore, M.: Axiomatic Domain Theory in Categories of Partial Maps, PhD thesis, University of Edinburgh, 1994; Distinguished Dissertations in Computer Science, Cambridge University Press, 1996.
• [3] Gardner, P. and Hasegawa, M.: Types and Models for Higher-Order Action Calculi, Proc. 3rd International Symposium on Theoretical Aspects of Computer Software, Springer LNCS 1281 (1997), pp.583-603.
• [4] Hasegawa, M.: Decomposing Typed Lambda Calculus into a Couple of Programming Languages, Proc. 6th International Conference on Category Theory and Computer Science, Springer LNCS 953 (1995), pp.200-219.
• [5] Hasegawa, M.: Recursion from Cyclic Sharing, Proc. 3rd International Conference on Typed Lambda Calculi and Applications, Springer LNCS 1210 (1997), pp.196-213.

タイトルに関連する用語 (2件)： フォーラム ,  草稿