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
~973
people reached
-
France
-
Member for 4 years, 8 months
-
18 profile views
-
Last seen Mar 16 at 10:26
Communities (7)
Top network posts
We respect a laser-like focus on one topic.
Badges (8)
Gold
—
Silver
1
Rarest
-
Apr 26 '19
Bronze
7
Rarest
-
Apr 25 '19
-
May 14 '20
-
Aug 21 '16
