Theoretical Computer Science
day's user avatar
day's user avatar
day's user avatar
day
  • Member for 13 years, 3 months
  • Last seen more than 9 years ago
Profile Activity
Stats
2,765
reputation
35k
reached
0
answers
21
questions
Communities
View all
Badges
View all badges
1
gold badge
20
silver badges
26
bronze badges
Top tags
View all tags
0
Score
10
Posts
48
Posts %
0
Score
9
Posts
43
Posts %
0
Score
8
Posts
38
Posts %
0
Score
6
Posts
29
Posts %
0
Score
3
Posts
14
Posts %
0
Score
2
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
36
What's the relation and difference between Calculus of Inductive Constructions and Intuitionistic Type Theory?
Jul 30, 2011
question
31
What is the difference between propositions and judgments?
Jan 20, 2012
question
26
What is the difference between proofs and programs (or between propositions and types)?
Feb 28, 2011
question
23
Prove proof irrelevance in Coq?
Feb 26, 2011
question
22
What is the difference between arrows and exponential objects in a cartesian closed category?
Apr 17, 2013
question
16
What is the point of calling $\lambda$-calculus an algebra?
Jan 30, 2012
question
13
Is contextual equivalence of a language with `quote`-`eval` trivial or not?
Nov 1, 2012
question
12
What happens if we try to extract a witness but it actually does not exist from a term of existential type?
Nov 29, 2010
question
12
How is duality of types defined?
Nov 26, 2012
question
10
What is the difference between meaning and denotation?
Nov 3, 2012
Top network posts
View all network posts
29
Use setxkbmap to swap the Left Shift and Left Control
13
Should I distinguish text that names a concept and text that is to be emphasized, on font?
12
Is there a negative counterpart of the phrase "thanks to"?
11
What is the so-called eigenvariable or parameter in natural deduction?
10
Is the `append` predicate tail-recursive?

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.