Trubetzkoy

数学ざむらい　仕官を求めて諸国を巡って候　計算論、ラムダ計算、コンビネータ論理、数学基礎論に興味があります