| Budget Amount *help |
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2013: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
|---|
| Outline of Final Research Achievements |
We propose an extension of the Lambda-mu calculus with explicit syntax for stream constructors. The extended Lambda-mu calculus is complete with respect to the stream model, which has been introduced by ourselves, and on which programs are interpreted as mathematical functions on streams. We also propose a type system for the extended Lambda-mu calculus, and adapt the idea of the stream models to the typed setting. It is proved that the equational theory of the Lambda-mu calculus can be characterized by a set-theoretic stream model. We also propose a reduction system for the extended Lambda-mu calculus, and prove that it is confluent and strongly normalizing.
|
