Computer Science
Network profile
246
reputation
1
6

lemontree

Apparently, this user prefers to keep an air of mystery about them.

4
answers
0
questions
~332
people reached

Communities (5)

Top network posts

Top tags (6)

Score 7
Posts 3
Posts % 75
Score 4
Posts 1
Score 4
Posts 1
Score 3
Posts 1
Score 3
Posts 1
Score 3
Posts 1

Top posts (4) All Questions Answers | Votes Newest

4 lambda calculus with church numerals Apr 23
3 Is λx. a valid Lamda Calculus abstraction? Jun 1
3 The barbers paradox first order logic formalization Apr 29
0 Are there lambda-calculus functions which always output booleans, but are not constant functions? Mar 11

Badges (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest