Jump to main content
図書

タイプ理論と線形論理のプログラム言語理論への応用

Icons representing 図書

タイプ理論と線形論理のプログラム言語理論への応用

Call No. (NDL)
Y151-H10044094
Bibliographic ID of National Diet Library
000007058328
Material type
図書
Author
岡田, 光弘, 慶応義塾大学
Publisher
-
Publication date
1998-1999
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

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

Paper

Material Type
図書
Title Transcription
タイプ リロン ト センケイ ロンリ ノ プログラム ゲンゴ リロン ヘ ノ オウヨウ
Author/Editor
岡田, 光弘, 慶応義塾大学
Author Heading
著者 : 岡田, 光弘 オカダ, ミツヒロ ( 01011069 )Authorities
Publication Date
1998-1999
Publication Date (W3CDTF)
1998
Extent
Additional Title
研究種目 国際学術研究
Subject Heading
タイプ理論 タイプリロン
線形論理 センケイロンリ
プログラミング言語 プログラミングゲンゴ
プログラム意味論 プログラムイミロン
形式的プログラム検証 ケイシキテキプログラムケンシヨウ
形式的仕様 ケイシキテキシヨウ
情報科学の論理 ジヨウホウカガクノロンリ
証明論 シヨウメイロン