文献
J-GLOBAL ID：200902176895586261   整理番号：94A0054679

接続法と線形論理を持つプログラム

Programs with continuations and linear logic.
著者 (1件)：
NISHIZAKI S

NISHIZAKI S について

(Kyoto Univ., Kyoto, JPN)

Kyoto Univ., Kyoto, JPN について


資料名：
Science of Computer Programming  (Science of Computer Programming)

Science of Computer Programming について


巻： 21  号： 2  ページ： 165-190  発行年： 1993年10月 
JST資料番号： H0806A  ISSN： 0167-6423  CODEN： SCPGD4  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
接続法の概念は,LispのSchemeで実用上からも有益であ...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
プログラム理論

プログラム理論 について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
接続法

接続法 について


   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=94A0054679&from=J-GLOBAL&jstjournalNo=H0806A") }}
分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

,  応用プログラミング言語 
(JD03052Y)

応用プログラミング言語 について

タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
接続法

接続法 について

, 
線形論理

線形論理 について


前のページに戻る

TOP

BOTTOM