Computer Science
while1fork
  • Member for 3 years, 7 months
  • Last seen more than 1 year ago
Profile Activity
Stats
299
reputation
502
reached
1
answer
6
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
4
Score
4
Posts
57
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
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
Top network posts
View all network posts
9
How to solve a system of linear equations over the nonnegative integers?
9
How is BABBAB formed
6
Why does the Agda typechecker crash on this program
6
Comparison of student involvement in research in different countries
6
For which type systems have normalizaton proofs been formalized?

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.