Mathematical models for stream computation
| Project/Area Number |
24700011
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
NAKAZAWA Koji 京都大学, 情報学研究科, 助教 (80362581)
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Project Status |
Completed (Fiscal Year 2014)
|
| 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)
|
|---|
| Keywords | ラムダ計算 / 書き換え系 / 合流性 / ストリーム計算 / 強正規化可能性 / 型システム / プログラミング言語のモデル / ストリーム |
|---|
| 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.
|
Report
(4 results)
Research Products
(7 results)
