Skip to main content
Computer Science
John Tromp's user avatar
John Tromp's user avatar
John Tromp's user avatar
John Tromp
  • Member for 4 months
  • Last seen more than a week ago
Profile Activity
Stats
171
reputation
1k
reached
5
answers
0
questions
Communities
View all
About

John Tromp is a Dutch computer scientist, programmer, puzzle designer/solver, Go player, chess player, recumbent rider, and googologist.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
7
Score
5
Posts
100
Posts %
3
Score
2
Posts
40
Posts %
2
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
Top posts
answer
2
Basis sets for combinator calculus
Jul 25
answer
2
Lambda Calculus Generator
Oct 30
answer
2
What are some visual representations of the lambda calculus?
Oct 30
answer
1
Short SK combinator expression with long reduction / Busy Beaver for SK combinators
Sep 27
answer
0
A quine in pure lambda calculus
Oct 29
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?