Aspects of λ-calculi with intersection types 交型付きλ計算に関する研究

この論文をさがす

著者

    • 倉田, 俊彦 クラタ, トシヒコ

書誌事項

タイトル

Aspects of λ-calculi with intersection types

タイトル別名

交型付きλ計算に関する研究

著者名

倉田, 俊彦

著者別名

クラタ, トシヒコ

学位授与大学

東京工業大学

取得学位

博士 (理学)

学位授与番号

甲第3561号

学位授与年月日

1997-03-26

注記・抄録

博士論文

目次

  1. 論文目録 / (0002.jp2)
  2. Contents / p1 (0004.jp2)
  3. 1 Introduction / p3 (0005.jp2)
  4. 2 Preliminaries / p8 (0008.jp2)
  5. 2.1 Type-free lambda-calculus / p8 (0008.jp2)
  6. 2.2 Lambda-calculi with types / p11 (0009.jp2)
  7. 2.3 Semantics of lambda-calculi / p17 (0012.jp2)
  8. 2.4 Content of thesis / p27 (0017.jp2)
  9. 3 Decidable Properties of Intersection Type Systems / p28 (0018.jp2)
  10. 3.1 Normal types / p30 (0019.jp2)
  11. 3.2 Variations of the system λΛ / p35 (0021.jp2)
  12. 3.3 Type checking problems for λΛ and λΛ′ / p44 (0026.jp2)
  13. 3.4 Inhabitation problems for λΛ-(ΛI)and λΛ′ / p48 (0028.jp2)
  14. 4 Subtype Relations Yielding Filter Lambda-Models / p56 (0032.jp2)
  15. 4.1 Filter domains as combinatory algebras / p58 (0033.jp2)
  16. 4.2 Filter domains as lambda-models / p60 (0034.jp2)
  17. 4.3 Related Works / p68 (0038.jp2)
  18. 5 A Type-Theoretical View of Böhm-Trees / p72 (0040.jp2)
  19. 5.1 Logical relations for intersection types / p73 (0040.jp2)
  20. 5.2 Whereabouts of ⊥ in Böhm-trees / p77 (0042.jp2)
  21. 5.3 Finiteness of Böhm-trees / p81 (0044.jp2)
  22. 6 Concluding Remarks / p89 (0048.jp2)
  23. A Proof of Theorem 3.4.8 / p96 (0052.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000153763
  • NII著者ID(NRID)
    • 8000001092777
  • DOI(NDL)
  • NDL書誌ID
    • 000000318077
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ