Petr Pudlák

less info

network profile

677 reputation

10

bio	website	petr.pudlak.name
	location	Czech Republic
	age
visits	member for	9 months
	seen	20 hours ago
stats	profile views	62

summary answers questions tags badges favorites bounties reputation activity

9 Questions

votes activity newest

14	Is it possible to decide $\beta$-equivalence within System F (or another normalizing typed λ-calculus)?
11	Explaining Applicative functor in categorical terms - monoidal functors
10	A mathematical (categorical) description of type classes
9	What are possible implementations of Haskell's type classes and what are their (dis)advantages?
9	A simple proof that decidability of typability in System F ($\lambda 2$) implies decidability of type checking?

view more

677 Reputation

+10	Term that can distinguish beta-equivalent normal forms in the untyped lambda calculus
+10	Explaining Applicative functor in categorical terms - monoidal functors
+5	Is there a concept of something like co-applicative functors sitting between comonads and functors?
+5	In what sense are coroutines dual to (sub)routines?

view more

4 Answers

votes activity newest

7	Are the $\lambda_I$-Calculus and the $\lambda_K$-Calculus equivalent?
4	Term that can distinguish beta-equivalent normal forms in the untyped lambda calculus
3	What are the relations between Alternative, MonadPlus(LeftCatch) and MonadPlus(LeftDistributive)?
1	Does using Normal Order Evaluation instead of Normal Order Reduction lose the Normalization theorem?

23 Tags

12 lambda-calculus × 5	3 applicative × 3
8 pl.programming-languages × 6	3 monad × 3
5 lo.logic × 7	3 haskell × 2
4 computability × 3	0 ct.category-theory × 4
3 functional-programming × 5	0 type-systems × 2

view more

36 Accounts

	Stack Overflow	11,429 rep	11670
	Programmers	1,580 rep	320
$Mathematics Stack Exchange$	Mathematics	1,256 rep	12
	Computer Science	917 rep	19
	Theoretical Computer Science	677 rep	10

8 Badges

recent class name

Nice Question × 3	Student
Self-Learner	Supporter
Editor	Revival
Scholar	Teacher

0 Active bounties

active offered earned

This user has no active bounties

29 Votes Cast

all time			by type			month
29	up		8	question		1
0	down		21	answer		1

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.17.690

Theoretical Computer Science Stack Exchange works best with JavaScript enabled