Theoretical Computer Science
user833970's user avatar
user833970's user avatar
user833970's user avatar
user833970
  • Member for 8 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
546
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 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
Score Newest
question
15
In the Hott book, are the most of the type formers redundant? And if so, why?
Dec 14, 2017
question
10
Typo in the calculus of constructions paper?
Dec 2, 2016
question
9
Can Non-termination be considered an algebraic effect?
Sep 16, 2019
answer
5
Is there a simple algorithm for proof search on CoC?
Feb 15, 2019
answer
3
When a type is a value?
Jan 15, 2019
Top network posts
View all network posts
92
AudioRecord object not initializing
30
Has anyone ever accidentally "proven" a false theorem with type-in-type?
16
Can blogging about research results first affect your ability to publish them later?
14
"dynamically" creating case classes with macros
14
Re-reviewing a previously rejected article but some authors have changed from the previous submission. Should I mention that to the editor?

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.