型理論の意味論と文法的性質の関係

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: 1998-1999
Publication Date (W3CDTF): 1998
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: 型理論カタリロン
意味論イミロン
モデルモデル
カテゴリ理論カテゴリリロン
文法的性質ブンホウテキセイシツ
強正規化キヨウセイキカ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 10680334
Holding library: 国立国会図書館
Call No.: Y151-H10680334
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007062644
http://id.ndl.go.jp/bib/000007062644
Bibliographic Record Category (NDL): 214