Henning Basold
326
reputation
1
7
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.