131
reputation
3

Nathan BeDell

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

0
answers
1
question
~341
people reached

Top tags (3)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

Badges (3)

Gold

Silver

Bronze

3

Rarest