As of May 31, 2023, we have updated our Code of Conduct.
Theoretical Computer Science
michid's user avatar
michid's user avatar
michid's user avatar
michid
  • Member for 12 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
151
reputation
10k
reached
1
answer
0
questions
Communities
View all
About

Trying to pick up Category Theory for Computer Science

Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
5
Solid applications of category theory in TCS?
May 8, 2019
Top network posts
View all network posts
193
How to define "type disjunction" (union types)?
77
Disable line wrapping for output in the Terminal
49
stack new command failing to download build plan for lts-14.1
34
The type system in Scala is Turing complete. Proof? Example? Benefits?
25
stack new command failing to download build plan for lts-14.1

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.