講演・口頭発表等 - 中澤 巧爾
-
Characterizing trees for lambda-mu terms 国際会議
Koji Nakazawa
8th International Workshop on Higher-Order Rewriting (HOR 2016)
-
A denotational semantics of a probabilistic stream-processing language 国際会議
Yohei Miyamoto, Kohei Suenaga, Koji Nakazawa
Workshop on probabilistic programming semantics (PPS 2016)
-
Lambda calculi and confluence from A to Z 国際会議
K. Nakazawa
4th International Workshop on Confluence (IWC 2015)
-
置換簡約を含むラムダ計算の合流性
中澤巧爾, 藤田憲悦
第17回プログラミングおよびプログラミング言語ワークショップ (PPL2015)
-
京都大学 teen racketeer 養成コース
五十嵐 淳, 中澤 巧爾, 馬谷 誠二, 関山 太朗, 花田 裕一朗, 大元 武, 宮本 洋平, 末永 幸平
第17回プログラミングおよびプログラミング言語ワークショップ (PPL2015)
-
Extensional models of typed lambda-mu calculus 国際会議
K. Nakazawa
The Fifth International Workshop on Classical Logic and Computation (CL&C'14)
-
Extensional model of Lambda-mu calculus
-
Continuations and classical logic: using continuations as a tool for classical logic 国際会議
K. Nakazawa
Continuation Workshop (CW2011)