Theoretical Computer Science
Ulrik Buchholtz
Profile Activity
Stats
726
reputation
3k
reached
4
answers
0
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (6)

Top network posts

This user doesn’t have any gold badges yet.
6
silver badges
5
bronze badges
View all badges

Top tags (10)

Score 58
Posts 4
Posts % 100
Score 39
Posts 2
Score 26
Posts 1
Score 26
Posts 1
Score 24
Posts 2
Score 19
Posts 2
View all tags →

Top posts (4)

All Questions Answers
Votes Newest
26 What was the original intent for the creation of Lambda calculus? Feb 13 '15
13 Can we prove weak normalization for System F by induction on a transfinite ordinal Oct 17 '11
11 Reference for the fact that (0=1) implies false requires a universe in MLTT Jan 22 '15
8 Intuitionistic fragments of classical logic Feb 17 '17

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.