thesis presentations

Seminar information archive ～05/01｜Next seminar｜Future seminars 05/02～


2017/02/03

14:15-15:30   Room #128 (Graduate School of Math. Sci. Bldg.)
戸澤　一成 (東京大学大学院数理科学研究科)
Meta-continuation Semantics via Meta-lambda Calculus (メタラムダ計算を用いたメタ継続意味論) (JAPANESE)