Theoretical Computer Science
pedagand's user avatar
pedagand's user avatar
pedagand's user avatar
pedagand
  • Member for 11 years, 2 months
  • Last seen more than 3 years ago
Profile Activity
Stats
478
reputation
5k
reached
3
answers
1
question
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
Top tags
View all tags
12
Score
3
Posts
75
Posts %
9
Score
2
Posts
50
Posts %
6
Score
1
Posts
25
Posts %
6
Score
1
Posts
25
Posts %
3
Score
1
Posts
25
Posts %
3
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
18
funsplit and polarity of Pi-types
Mar 20, 2013
answer
9
W-types vs Inductive types
May 5, 2014
answer
6
dependent types and higher-order logic applied in the realm of DSLs
Mar 25, 2013
answer
3
Typechecking liveness properties of coprograms
Nov 3, 2014

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.