Computer Science
Profile Activity
Network profile
299
reputation
1
7

while1fork

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

1
answer
6
questions
~408
people reached
  • Member for 2 years, 2 months
  • 5 profile views
  • Last seen Jun 2 at 15:22

Communities (14)

Top network posts

Top tags (8)

Score 4
Posts 4
Posts % 57
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (7)

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
1 Does Type:Type lead to inconsistency without general inductive types? Mar 17

Badges (8)

Gold

—

Silver

1

Rarest

Bronze

7

Rarest