Nathan BeDell
Stats
2,965
reputation
0
reached
0
answers
0
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.