Theoretical Computer Science
user833970
  • Member for 6 years, 3 months
Profile Activity
Stats
516
reputation
2k
reached
2
answers
3
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all 13 tags
8
Score
3
Posts
60
Posts %
5
Score
2
Posts
40
Posts %
5
Score
1
Posts
20
Posts %
3
Score
2
Posts
40
Posts %
3
Score
2
Posts
40
Posts %
3
Score
2
Posts
40
Posts %
Top posts
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
Top network posts
View all
91
AudioRecord object not initializing
16
Can blogging about research results first affect your ability to publish them later?
14
"dynamically" creating case classes with macros
13
Re-reviewing a previously rejected article but some authors have changed from the previous submission. Should I mention that to the editor?
11
How do you view the JavaScript embedded in a PDF?

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.