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