Network profile

Henry Story

Reputation

465

465
385
305

Apr
Jul
Oct
Jan

Top tag

functional-programming

Next privilege

500 Rep.

Access review queues

Badges

2

10

Newest

Nice Question

Next badge

0/1

Impact

0 posts edited

0 helpful flags

6 votes cast

Questions (4)

Votes Activity Newest

15	Proof relevance vs. proof irrelevance
7	What logic correponds via Curry-Howard to a Monad?
5	What category are Tagless Final Algebras final In?
3	What does the category of RDF models look like in Institution Theory?

Reputation (465)

+150	Proof relevance vs. proof irrelevance
-2	What does the category of RDF models look like in Institution Theory?
+10	What logic correponds via Curry-Howard to a Monad?
+10	What category are Tagless Final Algebras final In?

View more →

Answers (3)

Votes Activity Newest

4	What logic correponds via Curry-Howard to a Monad?
1	Can Non-termination be considered an algebraic effect?
0	What does the category of RDF models look like in Institution Theory?

Tags (17)

5 functional-programming × 4	1 semantics × 3
4 ct.category-theory × 6	1 algebraic-effects
4 lo.logic × 4	1 reference-request
4 monad × 2	1 pl.programming-languages
4 comonad × 2	0 modal-logic × 2

View more →

Bookmarks (2)

Votes Activity Newest Views Added

7	Can Non-termination be considered an algebraic effect?
3	What does the category of RDF models look like in Institution Theory?

Accounts (14)

	Stack Overflow	1,826 rep	1 gold badge16 silver badges24 bronze badges
	Area 51	760 rep	1 silver badge11 bronze badges
	Mathematics	567 rep	2 silver badges10 bronze badges
	Theoretical Computer Science	465 rep	2 silver badges10 bronze badges
	Information Security	455 rep	2 silver badges10 bronze badges

Badges (11)

Recent Class Name

Nice Question	Teacher
Yearling × 2	Scholar
Custodian	Autobiographer
Commentator	Supporter
Self-Learner	Student

View more →

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (6)

all time			by type
6	up		1	question
0	down		5	answer

Theoretical Computer Science Stack Exchange works best with JavaScript enabled