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
-
France
-
Member for 3 years, 3 months
-
10 profile views
-
Last seen Nov 12 at 20:43
