Theoretical Computer Science
Profile Activity
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 →