A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Theoretical Computer Science
Meta user
Network profile
516
reputation
2
10

user833970

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

2
answers
3
questions
~2k
people reached
  • Member for 4 years, 6 months
  • 11 profile views
  • Last seen Jan 12 at 18:57

Communities (17)

Top network posts

Top tags (13)

Score 8
Posts 3
Posts % 60
Score 5
Posts 2
Score 5
Posts 1
Score 3
Posts 2
Score 3
Posts 2
Score 3
Posts 2
View all tags →

Top posts (5) All Questions Answers | Votes Newest

14 In the Hott book, are the most of the type formers redundant? And if so, why? Dec 14 '17
10 Typo in the calculus of constructions paper? Dec 2 '16
7 Can Non-termination be considered an algebraic effect? Sep 16 '19
5 Is there a simple algorithm for proof search on CoC? Feb 15 '19
3 When a type is a value? Jan 15 '19

Badges (12)

Gold

—

Silver

2

Rarest

Bronze

10

Rarest

View all badges →