326
reputation
1
7

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
~840
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)

Badges (8)

Gold

Silver

1

Rarest

Bronze

7

Rarest