Stack Overflow
Stack Overflow

Nathan BeDell
2,265
reputation
1
12
23
  • New Orleans, LA, United States
  • Member since January 03 2013
  • 144 profile views
  • Last seen Jun 05 '22 at 02:33

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