Skip to main content
Theoretical Computer Science
Dan Doel's user avatar
Dan Doel's user avatar
Dan Doel's user avatar
Dan Doel
  • Member for 13 years, 9 months
  • Last seen this week
  • Boston, MA, USA
Profile Activity
Stats
1,021
reputation
9k
reached
17
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
9
bronze badges
Top tags
View all tags
41
Score
7
Posts
41
Posts %
37
Score
5
Posts
29
Posts %
22
Score
6
Posts
35
Posts %
16
Score
4
Posts
24
Posts %
15
Score
3
Posts
18
Posts %
15
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
11
How do continuations represent negations (under the Curry–Howard correspondence)?
Jun 14, 2019
11
Stronger "induction" principles than induction-recursion
Jan 1, 2023
10
Is Church-pentation implementable in Agda?
Aug 30, 2018
8
What happens when the Linz halting problem proof is based on simulation of the input?
Sep 24, 2022
7
Reader, Writer monads
Oct 18, 2010
4
Is there a relation between the techniques used by Dan Willard, versus those of Brown and Palsberg, to exclude diagonalization?
Jun 20, 2022
4
Is Linear Evaluation Parametric?
Jul 8, 2023
4
Is the Mendler-encoding in System-F adequate?
Mar 2, 2021
3
Can you always throw away the types when evaluating lambda expressions?
May 12, 2022
3
Why/when do we ever need transfinite loop variants?
Sep 17, 2018
Top network posts
View all network posts
17
Is "all categorical reasoning formally contradictory"?
15
Monad in Haskell programming vs. Monad in category theory
14
What are well-founded inductive types?
13
What does canonicity property mean in Type Theory?
13
Does this show that equality (set theoretically) does not necessarily imply isomorphic (categorically)?