A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Computer Science
Network profile
445
reputation
3
9

user3368561

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

0
answers
12
questions
~2k
people reached
  • Member for 3 years, 8 months
  • 13 profile views
  • Last seen Nov 1 '19 at 19:32

Communities (23)

Top network posts

Top tags (19)

Score 0
Posts 4
Posts % 33
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (12) All Questions Answers | Votes Newest

7 Total functional programming language without an static type checker Nov 9 '16
5 Pure type systems and let-expressions Jul 2 '18
5 Lazy concatenative functional language Nov 9 '16
4 Why 'let' can not be reduce to a lambda application in (extended) Calculus of Constructions Apr 2 '19
3 Total functional computable real numbers May 18 '17
2 What are the implications of Lean not having the type `Set`? Jul 12 '18
2 Does this progressive image compression exists? Jul 2 '18
2 Is the lambda calculus referentially transparent? May 28 '17
2 Can an (extended) regular grammar have multiple nonterminals in its RHS? May 10 '16
1 Combinatory logic equivalent to System F Jun 6 '18
View all questions and answers →

Badges (12)

Gold

—

Silver

3

Rarest

Bronze

9

Rarest

View all badges →