Theoretical Computer Science
user avatar
user avatar
user avatar
Dan Doel
  • Member for 11 years, 9 months
  • Last seen this week
  • Boston, MA, USA
Profile Activity
Stats
621
reputation
6k
reached
11
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
6
bronze badges
Top tags
View all tags
20
Score
3
Posts
27
Posts %
18
Score
3
Posts
27
Posts %
17
Score
5
Posts
45
Posts %
12
Score
3
Posts
27
Posts %
12
Score
2
Posts
18
Posts %
10
Score
3
Posts
27
Posts %
Top posts
View all questions and answers
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 there a relation between the techniques used by Dan Willard, versus those of Brown and Palsberg, to exclude diagonalization?
Jun 20
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
Top network posts
View all network posts
17
Is "all categorical reasoning formally contradictory"?
14
Monad in Haskell programming vs. Monad in category theory
13
Does this show that equality (set theoretically) does not necessarily imply isomorphic (categorically)?
12
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.