merliborn
merliborn
31
5399
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
読み込み中...
読み込み中