Computer Science
Network profile
289
reputation
1
6

while1fork

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

1
answer
5
questions
~357
people reached
  • Member for 1 year, 8 months
  • 5 profile views
  • Last seen Oct 25 '19 at 6:24

Communities (14)

Top network posts

Top tags (5)

Score 4
Posts 4
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (6) All Questions Answers | Votes Newest

5 Are there lambda-calculus functions which always output booleans, but are not constant functions? Mar 11 '19
4 lambda-calc program which halts on only one input Oct 6 '19
3 Decision problem that can be verified but not run in n^2 time Feb 26 '19
2 lambda-calc program which halts on only one input Oct 6 '19
2 Must a function in lambda-calculus which inputs a boolean function be defined in a certian way? Mar 11 '19
2 Show how lack of universe levels would create contradiction in homotopy type theory (in Agda) Jun 15 '18

Badges (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest