Theoretical Computer Science
Network profile
305
reputation
1
8

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.

3
answers
3
questions
~1k
people reached
  • Garmisch-Partenkirchen, Germany
  • bblfish
  • bblfish
  • bblfish.net
  • Member for 1 year, 4 months
  • 20 profile views
  • Last seen Nov 6 '19 at 20:28

Communities (14)

Top network posts

Top tags (13)

Score 4
Posts 4
Posts % 67
Score 3
Posts 5
Score 3
Posts 4
Score 3
Posts 2
Score 3
Posts 2
Score 1
Posts 3
View all tags →

Top posts (6) All Questions Answers | Votes Newest

7 What logic correponds via Curry-Howard to a Monad? Apr 10 '19
5 What category are Tagless Final Algebras final In? Sep 20 '19
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 '19
1 Can Non-termination be considered an algebraic effect? Sep 21 '19
0 What does the category of RDF models look like in Institution Theory? Oct 1 '18

Badges (9)

Gold

—

Silver

1

Rarest

Bronze

8

Rarest