Theoretical Computer Science
Jake's user avatar
Jake's user avatar
Jake's user avatar
Jake
  • Member for 9 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
1,131
reputation
12k
reached
3
answers
11
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
20
bronze badges
Top tags
View all tags
7
Score
3
Posts
21
Posts %
6
Score
7
Posts
50
Posts %
6
Score
6
Posts
43
Posts %
6
Score
4
Posts
29
Posts %
0
Score
3
Posts
21
Posts %
0
Score
3
Posts
21
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
20
A total language that only a Turing complete language can interpret
Jun 23, 2014
question
16
Why do constructivists not seem to care too much about call/cc
Apr 6, 2015
question
11
Can affine lambda calculus solve every problem in P?
Aug 3, 2014
question
9
Is the class of primitive recursion functionals equivalent to the class of functions which Foetus proves to terminate?
Jan 14, 2014
question
8
Complete combinator basis for System F-omega
Apr 16, 2014
question
7
Upper bound on Chaitin's constant for lambda calculus and SKI combinatory logic
Jun 2, 2014
question
7
Are there stronger notions of equivalence over lambda terms than beta equivalence?
Jun 10, 2014
question
7
Fixed points in dependent type theories
Jun 26, 2018
answer
7
Law of excluded middle in MLTT
Dec 24, 2014
answer
6
How exactly does lambda calculus capture the intuitive notion of computability?
Feb 12, 2015
Top network posts
View all network posts
24
How do garbage collectors avoid stack overflow?
24
What do HDLs compile/synthesize to?
22
Is 0* decidable?
20
Halting problem theory vs. practice
15
A way of achieving lazy evaluation in C++

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.