Henning Basold
121
reputation
3
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.