Theoretical Computer Science
michid
Profile Activity
Stats
141
reputation
0
reached
1
answers
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.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
4
Score
1
Posts
100
Posts %
4
Score
1
Posts
100
Posts %
4
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Votes Newest
4
Solid applications of category theory in TCS?
May 8 '19
Top network posts
View all
187
How to define "type disjunction" (union types)?
64
Disable line wrapping for output in the Terminal
43
stack new command failing to download build plan for lts-14.1
34
The type system in Scala is Turing complete. Proof? Example? Benefits?
23
stack new command failing to download build plan for lts-14.1
17
What does "a monad is a model of computation" mean
15
How to (re)attach JDK sources for Eclipse on Snow Leopard?

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.