Skip to main content
Theoretical Computer Science
Henry Story's user avatar
Henry Story's user avatar
Henry Story's user avatar
Henry Story
  • Member for 6 years, 2 months
  • Last seen more than 2 years ago
Profile Activity
Stats
595
reputation
6k
reached
3
answers
4
questions
Communities
View all
About

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.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
13
bronze badges
Top tags
View all tags
7
Score
4
Posts
57
Posts %
5
Score
6
Posts
86
Posts %
5
Score
4
Posts
57
Posts %
5
Score
2
Posts
29
Posts %
5
Score
2
Posts
29
Posts %
2
Score
3
Posts
43
Posts %
Top posts
question
18
Proof relevance vs. proof irrelevance
Dec 30, 2020
question
11
What logic correponds via Curry-Howard to a Monad?
Apr 10, 2019
question
8
What category are Tagless Final Algebras final In?
Sep 20, 2019
answer
5
What logic correponds via Curry-Howard to a Monad?
Apr 10, 2019
question
4
What does the category of RDF models look like in Institution Theory?
Sep 19, 2018
answer
2
Can Non-termination be considered an algebraic effect?
Sep 21, 2019
answer
0
What does the category of RDF models look like in Institution Theory?
Oct 1, 2018
Top network posts
View all network posts
21
What are the main advantages and disadvantages of webid compared to browserid?
15
Why do Calculus of Construction based languages use Setoids so much?
14
Examples of co-implication (a.k.a co-exponential)
14
Examples of co-implication (a.k.a co-exponential)
12
What are the downsides of BrowserID/Persona compared to OpenID/OAuth/Facebook?