user avatar
user avatar
user avatar
Thibaut Benjamin
  • Member for 5 years, 6 months
  • Last seen more than 1 year ago
Stats
1,237
reputation
0
reached
0
answers
0
questions
Loading…
About

I am a PhD student in computer science. I am very interested in the connections between category theory and type theory. I work with categorical framework to express type theory, and type-theoretical frameworks to do higher category theory. I am also interested in the connections with homotopy theory and generalisation to other kinds of higher structures

This user doesn’t have any gold badges yet.
5
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.