Theoretical Computer Science
beroal
Profile Activity
Stats
557
reputation
7k
reached
3
answers
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
12
bronze badges
Top tags
View all 14 tags
9
Score
2
Posts
25
Posts %
2
Score
5
Posts
62
Posts %
2
Score
2
Posts
25
Posts %
2
Score
1
Posts
12
Posts %
2
Score
1
Posts
12
Posts %
0
Score
2
Posts
25
Posts %
Top posts
All Questions Answers
Votes Newest
19
Reader, Writer monads
Oct 11 '10
9
What are the uses of Limits and Colimits of Category Theory in every day problems?
Feb 11 '14
5
Definition of a hereditary relation
Jun 10 '11
5
Why do we need PAP (partial aplication) objects in heap?
Nov 29 '12
4
finding constantness of a term
Oct 10 '11
2
Logic Programming: Transforming B:-A C:-A to B,C:-A
Dec 31 '10
0
Boolean as subtype of integer
Dec 21 '11
-1
synchronous vs. asynchronous message passing
May 28 '13
Top network posts
View all
60
What is a safe programming language?
33
What is a universal property?
17
[solved] sequent calculus as programming language
13
A modern textbook on affine and projective spaces
11
Why did mathematicians take Russell's paradox seriously?

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.