Skip to main content
Theoretical Computer Science
John Tromp's user avatar
John Tromp's user avatar
John Tromp's user avatar
John Tromp
  • Member for 4 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
281
reputation
3k
reached
3
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
4
bronze badges
Top tags
15
Score
3
Posts
100
Posts %
14
Score
2
Posts
67
Posts %
8
Score
2
Posts
67
Posts %
7
Score
1
Posts
33
Posts %
7
Score
1
Posts
33
Posts %
7
Score
1
Posts
33
Posts %
Top posts
answer
7
Busy Beaver Equivalent for the Untyped Lambda Calculus
Apr 23, 2020
answer
7
Smallest possible universal combinator
Dec 23, 2023
answer
1
Concatenative binary lambda calculus/combinatory logic
Dec 22, 2023
Top network posts
View all network posts
30
Interpret brainfuck
28
Self-Interpreting Interpreter
27
Write an interpreter for the untyped lambda calculus
24
What's the smallest $\lambda$-calculus term not known to have a normal form?
19
Do combinatory logic bases need a function of 3 variables?