Skip to main content
Henning Basold's user avatar
Henning Basold's user avatar
Henning Basold's user avatar
Henning Basold
  • Member for 7 years, 8 months
  • Last seen this week
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.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
5
Score
2
Posts
100
Posts %
4
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
Top posts