kow

network profile

296 reputation

24

bio	website
	location
	age
visits	member for	4 years, 3 months
	seen	Mar 29 '13 at 16:39
stats	profile views	130

summary answers questions tags badges favorites bounties reputation activities

6 Answers

votes activity newest

11	Between mu- and primitive recursion
4	intensional equality in type theory
3	Categories presented with Arrows only, no objects: partial monoids
2	Surreal Numbers as Inductive Type?
2	Categorical Brouwer-Heyting-Kolmogorov interpretation

view more

296 Reputation

+10	Categories presented with Arrows only, no objects: partial monoids
+30	Between mu- and primitive recursion
+20	intensional equality in type theory
+10	Categorical Brouwer-Heyting-Kolmogorov interpretation

view more

1 Question

votes activity newest

5	Are innermost reductions perpetual in untyped $\lambda$-calculus?

10 Tags

19 lo.logic × 5	4 constructive-mathematics
13 computer-science × 3	4 math-philosophy
11 computability-theory	2 lambda-calculus × 2
7 ct.category-theory × 3	2 surreal-numbers
6 type-theory × 2	2 reference-request

1 Account

MathOverflow

296 rep

24

6 Badges

recent class name

Nice Answer	Enthusiast
Revival	Student
Yearling	Teacher

0 Active bounties

active offered earned

This user has no active bounties

0 Votes Cast

This user has not cast any votes

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 Development Geographic Information Systems Electrical Engineering Android Enthusiasts Information Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica Salesforce more (14)	Photography Science Fiction & Fantasy Graphic Design Seasoned Advice (cooking) Home Improvement Personal Finance & Money Academia more (10)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Christianity Arqade (gaming) Bicycles Role-playing Games more (21)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics MathOverflow more (7)	Stack Apps Meta Stack Exchange Area 51 Stack Overflow Careers

site design / logo © 2015 stack exchange inc; user contributions licensed under cc by-sa 3.0 with attribution required

rev 2015.3.2.2351