Lambda-terms as proofs 証明図としてのラムダ項

この論文をさがす

著者

    • 廣川, 佐千男, 1954- ヒロカワ, サチオ

書誌事項

タイトル

Lambda-terms as proofs

タイトル別名

証明図としてのラムダ項

著者名

廣川, 佐千男, 1954-

著者別名

ヒロカワ, サチオ

学位授与大学

九州大学

取得学位

理学博士

学位授与番号

乙第5156号

学位授与年月日

1992-03-27

注記・抄録

博士論文

目次

  1. Abstract / p1 (0003.jp2)
  2. Contents / p4 (0006.jp2)
  3. 1 Introduction / p1 (0008.jp2)
  4. 2 Principal Type Assignment to Lambda-Terms / p6 (0013.jp2)
  5. 2.1 Introduction / p6 (0013.jp2)
  6. 2.2 Principal Type Assignment Figures / p7 (0014.jp2)
  7. 2.3 Principal Type-Scheme Theorem / p18 (0025.jp2)
  8. 2.4 Converse Principal Type-Scheme Theorem / p21 (0028.jp2)
  9. 3 Principal Type-Schemes of BCK-Lambda-Terms / p30 (0037.jp2)
  10. 3.1 Introduction / p30 (0037.jp2)
  11. 3.2 Structure of Principal Type-Assignment to BCK-λ-Terms / p31 (0038.jp2)
  12. 3.3 A Transformation of Principal TA-figures / p36 (0043.jp2)
  13. 3.4 Injectivity of Principal Type Assignment / p42 (0049.jp2)
  14. 4 Principal Type-Schemes of BCI-Lambda-Terms / p47 (0054.jp2)
  15. 4.1 Introduction / p47 (0054.jp2)
  16. 4.2 Principal Type-Schemes of BCI-λ-Terms and the Two-Property / p49 (0056.jp2)
  17. 4.3 Relevance Relation / p52 (0059.jp2)
  18. 4.4 BCI-Minimal Types and BCI-λ-Terms in βη-Normal Form / p59 (0066.jp2)
  19. 5 Formulas Having Unique Proofs / p63 (0070.jp2)
  20. 5.1 Introduction / p63 (0070.jp2)
  21. 5.2 Balanced Types and BCK-λ-Terms / p65 (0072.jp2)
  22. 5.3 BCK-Minimal Types and BCK-λ-Terms in βη-Normal Form / p69 (0076.jp2)
  23. 5.4 Relevant and Irrelevant Type Variables / p73 (0080.jp2)
  24. 5.5 Irrelevant Substitutions and Relevantly Balanced Types / p77 (0084.jp2)
  25. 5.6 Uniqueness of Normal Form Proofs for Relevantly Balanced Formulas / p81 (0088.jp2)
  26. 6 Degree-Two Formulas and Their Proofs / p86 (0093.jp2)
  27. 6.1 Introduction / p86 (0093.jp2)
  28. 6.2 Context-Free Grammar Determined by Degree-Two Formula / p88 (0095.jp2)
  29. 6.3 Degree-Two Formulas and Sorted λ-Terms / p91 (0098.jp2)
  30. 7 Conclusion / p95 (0102.jp2)
  31. References / p97 (0104.jp2)
0アクセス

各種コード

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