Theoretical Computer Science
Network profile
183
reputation
7

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
~785
people reached
  • Garmisch-Partenkirchen, Germany
  • bblfish
  • bblfish
  • bblfish.net
  • Member for 11 months
  • 16 profile views
  • Last seen Jul 16 at 12:10

Communities (14)

Top network posts

Top tags (8)

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

Top posts (4) All Questions Answers | Votes Newest

6 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
3 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 (7)

Gold

—

Silver

—

Bronze

7

Rarest