Theories of parametric polymorphism and data types パラメトリックな多相型とデータ型の理論

この論文をさがす

著者

    • 竹内, 泉 タケウチ, イズミ

書誌事項

タイトル

Theories of parametric polymorphism and data types

タイトル別名

パラメトリックな多相型とデータ型の理論

著者名

竹内, 泉

著者別名

タケウチ, イズミ

学位授与大学

京都大学

取得学位

博士 (情報学)

学位授与番号

乙第10433号

学位授与年月日

2000-03-23

注記・抄録

博士論文

目次

  1. 論文目録 / (0001.jp2)
  2. Abstract / p1 (0004.jp2)
  3. Contents / p3 (0005.jp2)
  4. 1 Introduction / p1 (0007.jp2)
  5. 1.1 Lambda Calculus / p1 (0007.jp2)
  6. 1.2 Polymorphism and Data Types / p1 (0007.jp2)
  7. 1.3 Outline of This Thesis / p8 (0011.jp2)
  8. 2 An Axiomatic System for Parametricity / p9 (0011.jp2)
  9. 2.1 Introduction / p9 (0011.jp2)
  10. 2.2 Logic for Parametricity / p12 (0013.jp2)
  11. 2.3 Consistency of the Axioms of Parametricity / p19 (0016.jp2)
  12. 2.4 Conclusion / p23 (0018.jp2)
  13. 3 Theories of Polyadic Parametricity / p25 (0019.jp2)
  14. 3.1 Introduction / p25 (0019.jp2)
  15. 3.2 Polyadic Parametricity / p27 (0020.jp2)
  16. 3.3 Realisability Interpretation / p48 (0031.jp2)
  17. 3.4 Conclusion / p62 (0038.jp2)
  18. 4 Cyclic Structure / p65 (0039.jp2)
  19. 4.1 Introduction / p65 (0039.jp2)
  20. 4.2 Preliminary Discussion / p71 (0042.jp2)
  21. 4.3 Equational System / p73 (0043.jp2)
  22. 4.4 Interpretation of Terms / p82 (0048.jp2)
  23. 4.5 Model / p96 (0055.jp2)
  24. 4.6 Conclusion / p97 (0055.jp2)
  25. 5 Conclusion / p99 (0056.jp2)
  26. 5.1 Syntactic Proof of Consistency / p99 (0056.jp2)
  27. 5.2 Parametricity and Universal Properties / p100 (0057.jp2)
  28. 5.3 Cyclic Structure / p101 (0057.jp2)
1アクセス

各種コード

  • NII論文ID(NAID)
    500000188426
  • NII著者ID(NRID)
    • 8000000188709
  • DOI(NDL)
  • NDL書誌ID
    • 000000352740
  • データ提供元
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ