Theoretical Computer Science
Ulrik Buchholtz's user avatar
Ulrik Buchholtz's user avatar
Ulrik Buchholtz's user avatar
Ulrik Buchholtz
  • Member for 12 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
726
reputation
4k
reached
4
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
6
bronze badges
Top tags
View all tags
58
Score
4
Posts
100
Posts %
39
Score
2
Posts
50
Posts %
26
Score
1
Posts
25
Posts %
26
Score
1
Posts
25
Posts %
24
Score
2
Posts
50
Posts %
19
Score
2
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
26
What was the original intent for the creation of Lambda calculus?
Feb 13, 2015
answer
13
Can we prove weak normalization for System F by induction on a transfinite ordinal
Oct 17, 2011
answer
11
Reference for the fact that (0=1) implies false requires a universe in MLTT
Jan 22, 2015
answer
8
Intuitionistic fragments of classical logic
Feb 17, 2017
Top network posts
View all network posts
15
H-space structures on non-sphere suspensions?
10
How can I make a PDF of the source of pdftex?
9
Reference request for type theory
9
Arithmetic strength of Peano + the Howard ordinal
8
Reduction rules for inductive types

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.