Theoretical Computer Science
Profile Activity
Network profile
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
~1k
people reached

Communities (7)

Top network posts

We respect a laser-like focus on one topic.

Top tags (12)

Score 15
Posts 2
Posts % 67
Score 9
Posts 1
Score 9
Posts 1
Score 9
Posts 1
Score 6
Posts 1
Score 6
Posts 1
View all tags →

Top posts (3)

All Questions Answers
Votes Newest
9 Why/when do we ever need transfinite loop variants? Sep 17 '18
6 Intuition Behind Strict Positivity? Apr 3 '19
6 Turing Machines as Coalgebras Apr 23 '19

Badges (8)

Gold

—

Silver

1

Rarest

Bronze

7

Rarest

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.