thesis presentations

Seminar information archive ~10/09Next seminarFuture seminars 10/10~


2015/07/30

10:30-11:45   Room #128 (Graduate School of Math. Sci. Bldg.)
飛澤 和則 (東京大学大学院数理科学研究科)
Theory and application of a meta lambda calculus with cross-level computation (レベル横断的計算機構を持つメタラムダ計算の理論と応用) (JAPANESE)