新規作成
merliborn
35
7920
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
17
Followers
19
Follow
ホーム
記事
13
本
0
高評価
全てのカテゴリ
作成日順
評価順
本はありません。