Kyoto University · Research Institute for Mathematical Sciences · 教授

Research keywordslambda calculus・category theory・traced monoidal categories・delimited continuations・graph rewriting・quantum semantics

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

• Typed Lambda Calculi and Applications2013 · 2013年
• プログラム意味論とトポロジー一再帰・相互作用・結び目一2010 · 日本数学会2010 年度秋季総合分科会企画特別講演アブトラクト,
• Models of Sharing Graphs1999 · 1999年
• A Braided Lambda CalculusElectronic Proceedings in Theoretical Computer Science,