Tohoku University · Research Institute of Electrical Communication

Research keywordsgraph transformation・simply typed lambda calculus・beta reduction・order-2 finitary PCF・categorical semantics・profunctor arrows・finite graphs・decision algorithms

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Compositional Solution of Mean Payoff Games by String Diagrams.Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
• Enriched Presheaf Model of Quantum FPC.Takeshi Tsukada, Kazuyuki Asada
• Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
• Pumping Lemma for Higher-order Languages.Kazuyuki Asada, Naoki Kobayashi

• 量子計算・確率計算と高級プログラミング言語の融合のための基盤理論浅田 和之
• 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築胡 振江, 加藤 弘之, 中野 圭介, 日高 宗一郎, 浅田 和之, 江本 健斗, 森畑 明昌, 松田 一孝
• プログラミング言語の普遍的モデルとプログラム推論浅田 和之

• Official profile
• ORCID