Computer Science
while1fork
  • Member for 3 years, 4 months
Profile Activity
Stats
299
reputation
472
reached
1
answers
6
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (14)

Top network posts

This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges

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 '20

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.