型理論の証明論ならびに計算論的研究

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 Date: 1997-1999
Publication Date (W3CDTF): 1997
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: 型理論カタリロン
証明論シヨウメイロン
高階理論コウカイリロン
ラムダ計算ラムダケイサン
原始帰納法ゲンシキノウホウ
自由代数ジユウダイスウ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 09640248
Holding library: 国立国会図書館
Call No.: Y151-H09640248
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007057055
http://id.ndl.go.jp/bib/000007057055
Bibliographic Record Category (NDL): 214