Stack Overflow
Stack Overflow

Nathan BeDell
2,263
reputation
1
14
25
  • New Orleans, LA, United States
  • Member since January 03 2013
  • 151 profile views
  • Last seen Jun 12 '23 at 13:15

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