Theoretical Computer Science
Profile Activity
Network profile
485
reputation
2
10

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
4
questions
~3k
people reached
  • Garmisch-Partenkirchen, Germany
  • bblfish
  • bblfish
  • bblfish.net
  • Member for 2 years, 5 months
  • 33 profile views
  • Last seen Jan 12 at 10:06

Communities (14)

Top network posts

Top tags (17)

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

Top posts (7)

All Questions Answers
Votes Newest
15 Proof relevance vs. proof irrelevance Dec 30 '20
8 What logic correponds via Curry-Howard to a Monad? Apr 10 '19
6 What category are Tagless Final Algebras final In? Sep 20 '19
4 What logic correponds via Curry-Howard to a Monad? Apr 10 '19
3 What does the category of RDF models look like in Institution Theory? Sep 19 '18
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 (12)

Gold

—

Silver

2

Rarest

Bronze

10

Rarest

View all badges →