2017 Fiscal Year Final Research Report
Semantics for Implementations of Programming Languages
| Project/Area Number |
15K00013
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Theory of informatics
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2015-04-01 – 2018-03-31
|
| Keywords | プログラミング言語 / 意味論 / 圏論 / 位相的量子計算 |
|---|
| Outline of Final Research Achievements |
We studied semantics of programming languages focussing on the implementation models. In particular, we developed categorical approach to such semantics and obtained the following results. (1) We introduced linear exponential comonads on non-symmetric monoidal categories. (2) We studied fundamental propeorties of traced monoidal categories and gave a partial solution to the embeddability into traced categories. (3) We gave a new theorem for the embedding from traced categories into compact closed categories and applied it to derive a new translation from the linear lambda calculus for classical linear logic to the lambda calculus with cyclic sharing.
|
| Free Research Field |
理論計算機科学
|
