Nathan BeDell
Stats
2,965
reputation
81k
reached
18
answers
111
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.
11
silver badges
20
bronze badges

Top tags (113)

Score 5
Posts 13
Posts % 10
Score 5
Posts 8
Score 2
Posts 30
Score 2
Posts 20
Score 2
Posts 10
Score 0
Posts 24

Top posts (129)

View all questions and answers