総高評価数
16
総閲覧数
2791
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
読み込み中...
読み込み中