@merliborn
merliborn
6
33
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
未登録
未登録
未登録

所属組織