Henning Basold
Stats
326
reputation
1k
reached
3
answers
0
questions
Loading…
About

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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
15
Score
2
Posts
67
Posts %
9
Score
1
Posts
33
Posts %
9
Score
1
Posts
33
Posts %
9
Score
1
Posts
33
Posts %
6
Score
1
Posts
33
Posts %
6
Score
1
Posts
33
Posts %