Theoretical Computer Science
Petr's user avatar
Petr's user avatar
Petr's user avatar
Petr
  • Member for 11 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
2,571
reputation
28k
reached
9
answers
13
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
15
silver badges
28
bronze badges
Top tags
View all tags
25
Score
9
Posts
41
Posts %
22
Score
7
Posts
32
Posts %
20
Score
5
Posts
23
Posts %
17
Score
6
Posts
27
Posts %
17
Score
4
Posts
18
Posts %
16
Score
8
Posts
36
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
47
Explaining Applicative functor in categorical terms - monoidal functors
Aug 27, 2012
question
22
Is there a concept of something like co-applicative functors sitting between comonads and functors?
Jan 27, 2013
question
18
Is it possible to decide $\beta$-equivalence within System F (or another normalizing typed λ-calculus)?
Oct 31, 2012
question
17
A mathematical (categorical) description of type classes
Sep 6, 2012
question
16
How to show that a type in a system with dependent types is not inhabited (i.e. formula not provable)?
Oct 27, 2012
question
12
What are the relations between Alternative, MonadPlus(LeftCatch) and MonadPlus(LeftDistributive)?
Oct 31, 2012
answer
12
Are the $\lambda_I$-Calculus and the $\lambda_K$-Calculus equivalent?
Feb 17, 2013
question
11
Explaining monad transformers in categorical terms
Sep 17, 2014
answer
11
Is there a concept of something like co-applicative functors sitting between comonads and functors?
Apr 27, 2014
question
10
What are possible implementations of Haskell's type classes and what are their (dis)advantages?
Sep 6, 2012
Top network posts
View all network posts
257
Difference between Arrays.asList(array) and new ArrayList<Integer>(Arrays.asList(array))
103
Way to check if two Collections contain the same elements, independent of order?
101
What's the difference between Unit and Nothing?
93
What's the difference between "adduser" and "useradd"?
86
Could a "living planet" alter its own trajectory only by changing its shape?

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.