λμ計算の表示的意味論に関する研究

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: 2002-2004
2005.3
Publication Date (W3CDTF): 2002
2004
Extent: 110枚
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: λμ計算 / CPS変換 / 表示的意味論 / カリー・ハワード同型 / 継続 / スコット領域 / Cモノイド lm ケイサン / CPS ヘンカン / ヒョウジテキイミロン / カリー・ハワードドウケイ / ケイゾク / スコットリョウイキ / Cモノイド
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 14540119
Holding library: 国立国会図書館
Call No.: Y151-H14540119
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007851129
http://id.ndl.go.jp/bib/000007851129
Bibliographic Record Category (NDL): 214