Theoretical Computer Science
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 a month ago
Profile Activity
Stats
603
reputation
4k
reached
0
answers
7
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
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
Top tags
View all tags
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
question
25
Are there any annotated formal verification systems for pure functional programming languages?
Sep 19, 2014
question
11
Is there a good notion of non-termination and halting proofs in type theory?
Apr 12, 2016
question
5
Given a type system T, and a type $A$ in that type system, is there an (effective) surjection from $\mathbb{N}$ onto the set of terms of that type?
Dec 13, 2016
question
4
Is Barbara Liskov's claim that CLU was the first implemented language to provide linguistic support for data abstraction accurate?
Sep 18, 2021
question
1
Is Kotlin's type system Turing complete?
Sep 24, 2021
question
1
Have there been any practical applications of domain theory to formal methods?
May 16, 2017
question
-1
How can you prove that all halting probabilites are normal real numbers?
Jul 22, 2014
Top network posts
View all network posts
42
Why does a flat universe imply an infinite universe?
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?
14
Is there a reasonable scientific backing for Carl Jung's type theories?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.