Theoretical Computer Science
user avatar
user avatar
user avatar
Dan Doel
  • Member for 11 years, 7 months
  • Last seen this week
  • Boston, MA, USA
Profile Activity
Stats
566
reputation
6k
reached
10
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
6
bronze badges
Top tags
View all tags
20
Score
3
Posts
30
Posts %
18
Score
3
Posts
30
Posts %
13
Score
4
Posts
40
Posts %
10
Score
3
Posts
30
Posts %
9
Score
1
Posts
10
Posts %
9
Score
1
Posts
10
Posts %
Top posts
All Questions Answers
Score Newest
answer
9
Is Church-pentation implementable in Agda?
Aug 30, 2018
answer
8
How do continuations represent negations (under the Curry–Howard correspondence)?
Jun 14, 2019
answer
7
Reader, Writer monads
Oct 18, 2010
answer
4
Is the Mendler-encoding in System-F adequate?
Mar 2, 2021
answer
3
Can you always throw away the types when evaluating lambda expressions?
May 12
answer
3
Why/when do we ever need transfinite loop variants?
Sep 17, 2018
answer
2
Can Non-termination be considered an algebraic effect?
Sep 18, 2019
answer
1
What category are Tagless Final Algebras final In?
Sep 21, 2019
answer
1
Intuition behind nested positivity and counterexamples
Jan 6, 2021
answer
1
Under what models do we know linear time sorting?
May 27, 2019
Top network posts
View all network posts
17
Is "all categorical reasoning formally contradictory"?
14
Monad in Haskell programming vs. Monad in category theory
11
Does this show that equality (set theoretically) does not necessarily imply isomorphic (categorically)?
11
What are well-founded inductive types?
10
What does canonicity property mean in Type Theory?

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.