Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Network Profile
168
reputation
6

Henry Story

is working on a PhD to stop #Phishing through http://co-operating.systems/ . He develops in Scala ideas guided by Philosophy, and a little Category Theory.

2
answers
2
questions
~358
people reached

Communities (14)

Top Network Posts

Top Tags (8)

Score 2
Posts 4
Posts % 100
Score 2
Posts 4
Score 2
Posts 2
Score 2
Posts 2
Score 2
Posts 2
Score 0
Posts 2
View all tags →

Top Posts (4) All Questions Answers | Votes Newest

5 What logic correponds via Curry-Howard to a Monad? Apr 10
4 What does the category of RDF models look like in Institution Theory? Sep 19 '18
2 What logic correponds via Curry-Howard to a Monad? Apr 10
0 What does the category of RDF models look like in Institution Theory? Oct 1 '18

Badges (6)

Gold

—

Silver

—

Bronze

6

Rarest