Academia Stack Exchange
Academia Stack Exchange

Nathan BeDell
325
reputation
1
6
  • New Orleans, LA, United States
  • Member since April 21 2016
  • 40 profile views
  • Last seen Oct 23 '22 at 17:53

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