We’re rewarding the question askers & reputations are being recalculated! Read more.
316
reputation
1
6

Henning Basold

My research interest are coalgebras, type theory and general category theoretical logic. But generally, I find all applications of these to any field of computer science interesting.

3
answers
0
questions
~642
people reached

Top tags (12)

Score 15
Posts 2
Posts % 67
Score 9
Posts 1
Score 9
Posts 1
Score 9
Posts 1
Score 6
Posts 1
Score 6
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (7)

Gold

Silver

1

Rarest

Bronze

6

Rarest