A record calculus with a merge operator マージオペレータを持つレコード計算

Access this Article

Search this Article

Author

    • 立木, 秀樹, 1963- ツイキ, ヒデキ

Bibliographic Information

Title

A record calculus with a merge operator

Other Title

マージオペレータを持つレコード計算

Author

立木, 秀樹, 1963-

Author(Another name)

ツイキ, ヒデキ

University

慶應義塾大学

Types of degree

博士 (理学)

Grant ID

乙第2557号

Degree year

1993-01-20

Note and Description

博士論文

Table of Contents

  1. 論文目録 / (0001.jp2)
  2. Abstract / (0005.jp2)
  3. Contents / p3 (0008.jp2)
  4. 1 Introduction. / p1 (0011.jp2)
  5. 1.1 Merge of Functions / p1 (0011.jp2)
  6. 1.2 Motivation from Object Oriented Languages / p2 (0012.jp2)
  7. 1.3 Motivation from Type Theory / p7 (0017.jp2)
  8. 1.4 Overview of the Systems / p10 (0020.jp2)
  9. 2 λc: A Calculus with Implicit Coercion. / p14 (0024.jp2)
  10. 2.1 Definition of λc / p14 (0024.jp2)
  11. 2.2 Strong Normalization of λc / p18 (0028.jp2)
  12. 2.3 [数式]: Another Calculus with Implicit Coercion / p24 (0034.jp2)
  13. 3 λm: A Calculus with a Merge Operator / p26 (0036.jp2)
  14. 3.1 Definition of λm / p26 (0036.jp2)
  15. 3.2 Examples / p34 (0044.jp2)
  16. 3.3 Some Syntactic Properties of λm / p38 (0048.jp2)
  17. 4 [数式]: Another Calculus with a Merge Operator / p52 (0062.jp2)
  18. 4.1 Definition of [数式] / p52 (0062.jp2)
  19. 4.2 Non-transitivity of Coercions / p53 (0063.jp2)
  20. 4.3 Strong Normalization of [数式] / p54 (0064.jp2)
  21. 4.4 The meaning of a function type in [数式] / p60 (0070.jp2)
  22. 4.5 [数式]: Yet Another Calculus with a Merge Operator / p63 (0073.jp2)
  23. 5 Denotational Semantics of λm / p65 (0075.jp2)
  24. 5.1 M-domain: A Semantic Domain for λm / p65 (0075.jp2)
  25. 5.2 Semantics of λm / p83 (0093.jp2)
  26. 6 Conclusions and Future Works / p90 (0100.jp2)
  27. A The Definition of λc / p96 (0106.jp2)
  28. A.1 Type Expressions / p96 (0106.jp2)
  29. A.2 Coercible Order / p96 (0106.jp2)
  30. A.3 Expressions and Type Assignment / p96 (0106.jp2)
  31. A.4 Reduction Rules / p97 (0107.jp2)
  32. A.5 The Definition of [数式] / p97 (0107.jp2)
  33. B The Definition of λm / p98 (0108.jp2)
  34. B.1 Type Expressions / p98 (0108.jp2)
  35. B.2 The Coercible Order / p99 (0109.jp2)
  36. B.3 Expressions and Type Assignment / p99 (0109.jp2)
  37. B.4 Reduction Rules / p100 (0110.jp2)
  38. B.5 The definition of [数式] / p101 (0111.jp2)
1access

Codes

  • NII Article ID (NAID)
    500000093922
  • NII Author ID (NRID)
    • 8000000952965
  • DOI(NDL)
  • NDLBibID
    • 000000258236
  • Source
    • NDL ONLINE
    • NDL Digital Collections

Export

Page Top