thesis presentations

Seminar information archive ～04/18｜Next seminar｜Future seminars 04/19～


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)