Ruben Turkenburg

コアグラフ、モーダル論理、固定点論理をつなぐフレームワークを探求中。