Skip to main content
Linguistics
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell
  • Member for 9 years, 4 months
  • Last seen more than 1 year ago
Profile Activity
Stats
161
reputation
574
reached
0
answers
3
questions
Communities
View all
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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
View all tags
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
3
Can a case system in a language help resolve gramatical ambiguites?
Aug 11, 2015
question
2
What are the practical differences between type-logical/categorial and context-free based approaches to semantic parsing?
Feb 12, 2023
question
1
Are there specified names for categories of morphemes (or words that can combine with morphemes) in morphotactics?
Jan 4, 2023
Top network posts
View all network posts
42
Why does a flat universe imply an infinite universe?
25
Are there any annotated formal verification systems for pure functional programming languages?
21
How does lifting (in a functional programming context) relate to category theory?
17
Can you create functions that return functions of a dependent arity in a dependently typed language?
17
Are regular haskell algebraic data types equivalent to context free grammars? What about GADTS?