関数型言語の組合せ論的数え上げモデルとトレース

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.5
Publication Date (W3CDTF): 2005
2006
Extent: 48, 12p
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 線形論理 / 圏論モデル / トレース / 組合せ論的数え上げモデルセンケイロンリ / ケンロンモデル / トレース / クミアワセロンテキカゾエアゲモデル
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 17540102
Holding library: 国立国会図書館
Call No.: Y151-H17540102
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009309307
http://id.ndl.go.jp/bib/000009309307
Bibliographic Record Category (NDL): 214