Theoretical Computer Science
Meta user
Network profile
716
reputation
6
5

Ulrik Buchholtz

Apparently, this user prefers to keep an air of mystery about them.

4
answers
0
questions
~3k
people reached

Communities (6)

Top network posts

Top tags (10)

Score 57
Posts 4
Posts % 100
Score 39
Posts 2
Score 26
Posts 1
Score 26
Posts 1
Score 23
Posts 2
Score 18
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
10 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

Badges (11)

Gold

—

Silver

6

Rarest

Bronze

5

Rarest

View all badges →