Skip to main content
Theoretical Computer Science
Jake's user avatar
Jake's user avatar
Jake's user avatar
Jake
  • Member for 10 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
1,213
reputation
13k
reached
3
answers
12
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
21
bronze badges
Top tags
View all tags
7
Score
3
Posts
20
Posts %
6
Score
7
Posts
47
Posts %
6
Score
7
Posts
47
Posts %
6
Score
4
Posts
27
Posts %
0
Score
3
Posts
20
Posts %
0
Score
3
Posts
20
Posts %
Top posts
View all questions and answers
21
A total language that only a Turing complete language can interpret
Jun 23, 2014
17
Why do constructivists not seem to care too much about call/cc
Apr 6, 2015
13
Can affine lambda calculus solve every problem in P?
Aug 3, 2014
9
Is the class of primitive recursion functionals equivalent to the class of functions which Foetus proves to terminate?
Jan 14, 2014
8
Complete combinator basis for System F-omega
Apr 16, 2014
8
Fixed points in dependent type theories
Jun 26, 2018
7
Law of excluded middle in MLTT
Dec 24, 2014
7
Upper bound on Chaitin's constant for lambda calculus and SKI combinatory logic
Jun 2, 2014
7
Are there stronger notions of equivalence over lambda terms than beta equivalence?
Jun 10, 2014
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++