Nathan BeDell
  • Member for 7 years, 10 months
  • Last seen more than 4 years ago
Stats
2,971
reputation
0
reached
0
answers
0
questions
Loading…
About

1st year Ph.D. student in Mathematics at Tulane University. I'm interested broadly in the interactions between logic, category theory, and type theory.

This user doesn’t have any gold badges yet.
7
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.