博士論文発表会
過去の記録 ~05/01|次回の予定|今後の予定 05/02~
2017年02月03日(金)
14:15-15:30 数理科学研究科棟(駒場) 128号室
戸澤 一成 氏 (東京大学大学院数理科学研究科)
Meta-continuation Semantics via Meta-lambda Calculus (メタラムダ計算を用いたメタ継続意味論) (JAPANESE)
戸澤 一成 氏 (東京大学大学院数理科学研究科)
Meta-continuation Semantics via Meta-lambda Calculus (メタラムダ計算を用いたメタ継続意味論) (JAPANESE)