Skip to main content
Theoretical Computer Science
Petr's user avatar
Petr's user avatar
Petr's user avatar
Petr
  • Member for 12 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
2,611
reputation
30k
reached
9
answers
13
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
16
silver badges
29
bronze badges
Top tags
View all tags
26
Score
9
Posts
41
Posts %
22
Score
7
Posts
32
Posts %
21
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
question
48
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
19
A mathematical (categorical) description of type classes
Sep 6, 2012
question
18
Is it possible to decide $\beta$-equivalence within System F (or another normalizing typed λ-calculus)?
Oct 31, 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
answer
10
How to implement a functional programming language efficiently?
Oct 17, 2015
Top network posts
View all network posts
258
Difference between Arrays.asList(array) and new ArrayList<Integer>(Arrays.asList(array))
104
Way to check if two Collections contain the same elements, independent of order?
102
What's the difference between Unit and Nothing?
96
What's the difference between "adduser" and "useradd"?
88
Could a "living planet" alter its own trajectory only by changing its shape?