双対性に基づくプログラム変換に関する研究

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: 双対性に基づくプログラム変換に関する研究
Title Transcription: ソウツイセイニモトズクプログラムヘンカンニカンスルケンキュウ
Author/Editor: 藤田憲悦, 群馬大学 [著]
Author Heading: 藤田, 憲悦フジタ, ケンエツ
群馬大学グンマダイガク
Publication, Distribution, etc.: [藤田憲悦]
Publication Date: 2005-2006
2007.3
Publication Date (W3CDTF): 2005
2006
Extent: 65枚
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: ガロア対応・埋め込み / 多相型 / 抽象データ型 / CPS変換 / 継続 / ラムダ計算 / 証明双対性 / 簡約対応ガロアタイオウ・ウメコミ / タソウガタ / チュウショウデータガタ / CPS ヘンカン / ケイゾク / ラムダケイサン / ショウメイソウツイセイ / カンヤクタイオウ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 17500004
Holding library: 国立国会図書館
Call No.: Y151-H17500004
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009317608
http://id.ndl.go.jp/bib/000009317608
Bibliographic Record Category (NDL): 214