Theoretical Computer Science
Profile Activity
Network profile
465
reputation
2
11

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, 10 months
  • 36 profile views
  • Last seen Jan 12 at 10:06

Communities (15)

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
14 Proof relevance vs. proof irrelevance Dec 30 '20
7 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 (13)

Gold

—

Silver

2

Rarest

Bronze

11

Rarest

View all badges →

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.