Topics on strong normalization

• Material Type: 博士論文
• Title: Topics on strong normalization
• Author/Editor: 赤間陽二 [著]
• Author Heading: 赤間, 陽二 アカマ, ヨウジ ( 001191706 )Authorities
• Degree Grantor: 東京工業大学
• Date Granted: 平成7年3月26日
• Date Granted (W3CDTF): 1995
• Dissertation Number: 甲第2904号
• Degree Type: 博士 (理学)
• Note (Dissertation): 博士論文
• Place of Publication (Country Code): JP
• NDLC: UT51
• Note (General): 博士論文
• Holding library: 国立国会図書館
• Call No.: UT51-95-T331
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000000288855; http://id.ndl.go.jp/bib/000000288855
• Bibliographic Record Category (NDL): 213

• DOI: 10.11501/3104359; https://doi.org/10.11501/3104359
• Persistent ID (NDL): info:ndljp/pid/3104359; https://dl.ndl.go.jp/pid/3104359
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (Materials For Handicapped People:2): プレーンテキスト
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• Producer: 国立国会図書館
• Date Accepted (W3CDTF): 2011-12-05T15:55:53+09:00
• Format (IMT): image/jp2
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象
• Availability of remote photoduplication service: 可
• Call No.: UT51-95-T331
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

Table of Contents

Contents

1 Introduction

2 Basic Definitions and Basic Propositions

2.1 Reduction Systems

2.2 λ-calculus