Skip to main content
Theoretical Computer Science
user833970's user avatar
user833970's user avatar
user833970's user avatar
user833970
  • Member for 9 years
  • Last seen this week
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
15
In the Hott book, are the most of the type formers redundant? And if so, why?
Dec 14, 2017
10
Typo in the calculus of constructions paper?
Dec 2, 2016
9
Can Non-termination be considered an algebraic effect?
Sep 16, 2019
5
Is there a simple algorithm for proof search on CoC?
Feb 15, 2019
3
When a type is a value?
Jan 15, 2019
Top network posts
View all network posts
92
AudioRecord object not initializing
31
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
Re-reviewing a previously rejected article but some authors have changed from the previous submission. Should I mention that to the editor?
14
In Jenkins plugin developement, what is the Stapler (org.kohsuke.stapler.Stapler)?