ジラールの線形論理とその情報科学への応用

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: 著者：岡田, 光弘オカダ, ミツヒロ ( 01011069 )Authorities
Publication Date: 1995-1997
Publication Date (W3CDTF): 1995
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: 線形論理センケイロンリ
相意味論ソウイミロン
並行計算ヘイコウケイサン
正規化定理セイキカテイリ
カツト消去定理カツトシヨウキヨテイリ
関数型プログラム言語カンスウガタプログラムゲンゴ
論理プログラム言語ロンリプログラムゲンゴ
論理的計算モデルロンリテキケイサンモデル
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 07808035
Holding library: 国立国会図書館
Call No.: Y151-H07808035
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007010272
http://id.ndl.go.jp/bib/000007010272
Bibliographic Record Category (NDL): 214