Lambda-terms as proofs
Available with Digitized Contents Transmission Service
Find on the publisher's website
NDL Digital Collections
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Provided by：国立国会図書館デジタルコレクションLink to Help Page
Abstract
p1
Contents
p4
1 Introduction
p1
2 Principal Type Assignment to Lambda-Terms
p6
2.1 Introduction
p6
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
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.
- Material Type
- 博士論文
- Author/Editor
- 廣川佐千男 [著]
- Author Heading
- 廣川, 佐千男, 1954- ヒロカワ, サチオ, 1954- ( 00680510 )Authorities
- Alternative Title
- 証明図としてのラムダ項 ショウメイズ ト シテ ノ ラムダコウ
- Degree Grantor
- 九州大学
- Date Granted
- 平成4年3月27日
- Date Granted (W3CDTF)
- 1992
- Dissertation Number
- 乙第5156号
- Degree Type
- 理学博士