彼得LeFanu Lumsdaine的用户头像
彼得LeFanu Lumsdaine的用户头像
彼得LeFanu Lumsdaine的用户头像
彼得LeFanu Lumsdaine
  • 成员为8年10个月
  • 去年见过一个多月前
  • 斯德哥尔摩,瑞典
关于

数学家,math.LO /数学。目前CT, (Universitetslektor)副教授斯德哥尔摩大学。主要工作范畴逻辑,特别是同伦类型理论和更高的类别。

以前在高级研究学院普林斯顿大学;达尔豪斯大学哈利法克斯新斯科舍;和卡内基梅隆大学匹兹堡。

徽章
这个用户没有任何金徽章。
这个用户没有任何银徽章。
2
青铜徽章
的帖子

该用户还没有上传。

Baidu
map