Andrej Bauer

7,702 reputation

1638

bio	website	andrej.com
	location	Slovenia
	age	42
visits	member for	2 years, 8 months
	seen	2 hours ago
stats	profile views	1,381

I am a professional mathematician and theoretical computer scientist (what is the difference?) . My area of work is a mix of logic, semantics, programming languages, category theory, constructive mathematics and computability.

	7,702 reputation	bio	website	andrej.com	visits	member for	2 years, 8 months
1638 badges		location	Slovenia		seen	2 hours ago

summary answers questions tags badges favorites bounties reputation activity

81 Answers

votes activity newest

46	Techniques for Reversing the Order of Quantiﬁers
33	What would it mean to disprove Church-Turing thesis?
32	Problem teaching computability
23	Why have computer scientists chosen recursor instead of iterator in primitive recursion?
21	How can we express “$P=PSPACE$” as a first-order formula?

7,702 Reputation

+10	Extensionality of lambda calculus models
+10	How are side effects handled in semantics?
+10	Programming Language Theory and Abstract Algebra
+10	What is the difference between arrows and exponential types in the cartesian closed category?

0 Questions

votes activity newest

This user has not asked any questions

88 Tags

290 lo.logic × 30	90 soft-question × 10
185 pl.programming-languages × 20	82 cc.complexity-theory × 7
184 computability × 16	79 big-picture × 4
134 lambda-calculus × 16	76 turing-machines × 6
108 type-theory × 14	65 reference-request × 7

7 Accounts

	Theoretical Computer Science	7,702 rep	1638
	Computer Science	3,153 rep	517
	Stack Overflow	1,056 rep	313
$Mathematics Stack Exchange$	Mathematics	221 rep	15
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	121 rep	2