文献
J-GLOBAL ID：200902185899354658   整理番号：96A0839293

線形論理,モナド,及びラムダ計算

Linear Logic, Monads and the Lambda Calculus.
著者 (2件)：
BENTON N

BENTON N について

(Univ. Cambridge, Cambridge, GBR)

Univ. Cambridge, Cambridge, GBR について

, 
WADLER P

WADLER P について

(Univ. Glasgow, Glasgow, GBR)

Univ. Glasgow, Glasgow, GBR について


資料名：
Proceedings. Annual IEEE Symposium on Logic in Computer Science  (Proceedings. Annual IEEE Symposium on Logic in Computer Science)

Proceedings. Annual IEEE Symposium on Logic in Computer Science について


巻： 11th  ページ： 420-431  発行年： 1996年 
JST資料番号： W0023A  ISSN： 1043-6871  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
直観的線形論理がMoggiの計算論的メタ言語をもたらすことか...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
λ計算

λ計算 について

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

モナド について

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

計算理論 について

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

線形論理 について

, 
モナド

モナド について

, 
計算

計算 について


前のページに戻る

TOP

BOTTOM