Computer Science
Dan Doel's user avatar
Dan Doel's user avatar
Dan Doel's user avatar
Dan Doel
  • Member for 5 years, 3 months
  • Last seen this week
  • Boston, MA, USA
Profile Activity
Stats
2,619
reputation
17k
reached
62
answers
0
questions
Communities
View all
Badges
View all badges
1
gold badge
9
silver badges
14
bronze badges
Top tags
View all tags
113
Score
28
Posts
45
Posts %
40
Score
10
Posts
16
Posts %
38
Score
7
Posts
11
Posts %
37
Score
10
Posts
16
Posts %
34
Score
9
Posts
15
Posts %
33
Score
8
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
15
Monad in Haskell programming vs. Monad in category theory
Nov 2, 2020
answer
13
What does canonicity property mean in Type Theory?
Aug 22, 2019
answer
7
Curry-Howard isomorphism and non-constructive logic
Sep 17
answer
7
Flawed argument in the proof of function extensionality in cubical type theory?
Sep 8, 2018
answer
7
How to prove that the Church encoding, forall r. (F r -> r) -> r, gives an initial algebra of the functor F?
Nov 4, 2020
answer
6
Are Bad churches inhabited?
Oct 13, 2018
answer
6
What are the implications of Homotopy Type Theory?
Nov 6, 2020
answer
5
Relationship between Higher Kinded Polymorphism, type inference, and Currying
Sep 1, 2018
answer
5
Stablishing termination of the construction of infinite stream with ranking functions
Sep 11, 2018
answer
5
Can a total programming language be Turing-complete?
Jun 15, 2022
Top network posts
View all network posts
17
Is "all categorical reasoning formally contradictory"?
13
Does this show that equality (set theoretically) does not necessarily imply isomorphic (categorically)?
13
What are well-founded inductive types?
10
Is Church-pentation implementable in Agda?
10
Stronger "induction" principles than induction-recursion

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.