Theoretical Computer Science
Profile Activity
Network profile
2,441
reputation
11
24

Petr

Apparently, this user prefers to keep an air of mystery about them.

9
answers
13
questions
~23k
people reached
  • Germany
  • ppetr
  • Member for 8 years, 11 months
  • 130 profile views
  • Last seen Oct 19 '18 at 15:07

Communities (71)

Top network posts

Top tags (26)

Score 25
Posts 9
Posts % 41
Score 22
Posts 7
Score 20
Posts 5
Score 16
Posts 6
Score 16
Posts 4
Score 15
Posts 8
View all tags →

Top posts (22)

All Questions Answers
Votes Newest
46 Explaining Applicative functor in categorical terms - monoidal functors Aug 27 '12
20 Is there a concept of something like co-applicative functors sitting between comonads and functors? Jan 27 '13
18 Is it possible to decide $\beta$-equivalence within System F (or another normalizing typed λ-calculus)? Oct 31 '12
15 A mathematical (categorical) description of type classes Sep 6 '12
15 How to show that a type in a system with dependent types is not inhabited (i.e. formula not provable)? Oct 27 '12
12 What are the relations between Alternative, MonadPlus(LeftCatch) and MonadPlus(LeftDistributive)? Oct 31 '12
12 Are the $\lambda_I$-Calculus and the $\lambda_K$-Calculus equivalent? Feb 17 '13
10 Is there a concept of something like co-applicative functors sitting between comonads and functors? Apr 27 '14
9 How to implement a functional programming language efficiently? Oct 17 '15
9 A simple proof that decidability of typability in System F ($\lambda 2$) implies decidability of type checking? Nov 18 '12
View all questions and answers →

Badges (35)

Gold

—

Silver

11

Rarest

Bronze

24

Rarest

View all badges →

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.