kow

network profile

256 reputation

23

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

summary answers questions tags badges favorites bounties reputation activity

6 Answers

votes activity newest

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

view more

256 Reputation

+55	intensional equality in type theory
+10	Categorical Brouwer-Heyting-Kolmogorov interpretation
+10	Categories presented with Arrows only, no objects: partial monoids
+10	Surreal Numbers as Inductive Type?

view more

1 Question

votes activity newest

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

10 Tags

16 lo.logic × 5	4 constructive-mathematics
10 computer-science × 3	4 math-philosophy
8 computability-theory	2 lambda-calculus × 2
6 ct.category-theory × 3	2 surreal-numbers
6 type-theory × 2	2 reference-request

1 Account

MathOverflow

256 rep

23

5 Badges

recent class name

Revival	Student
Yearling	Teacher
Enthusiast

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 more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement Personal Finance & Money more (12)	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 Overflow Area 51 Stack Overflow Careers

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

rev 2014.3.10.1433