Dan Doel

Member for 5 years, 3 months
Last seen this week

Boston, MA, USA

Summary

Reputation

2,609

2.6k
1.9k
1.1k

2020
2021
2022
2023

Top tag

type-theory

Next privilege

3,000 Rep.

Cast close & reopen votes

Badges

Newest

Yearling

Next badge

1/1

Necromancer

Answers

View all 62 answers

Score Activity Newest

Monad in Haskell programming vs. Monad in category theory

Nov 2, 2020

What does canonicity property mean in Type Theory?

Aug 22, 2019

How to prove that the Church encoding, forall r. (F r -> r) -> r, gives an initial algebra of the functor F?

Nov 4, 2020

Flawed argument in the proof of function extensionality in cubical type theory?

Sep 8, 2018

Curry-Howard isomorphism and non-constructive logic

Sep 17

Questions

Score Activity Newest Views

This user has not asked any questions

Reputation

+20

For which values of $k$ is a $k$-state-bounded version of the halting problem decidable?

+10

Why use the Y combinator for recursion?

+10

What is an uninhabited type?

+10

Curry-Howard isomorphism and non-constructive logic

Badges

View all badges

gold badge

Fanatic

Jan 27, 2021

silver badges

Necromancer

Apr 18
Enthusiast

Sep 28, 2018
Enlightened

× 2

Jan 7, 2022

bronze badges

type-theory

Jun 2
Revival

× 3

Apr 7, 2019
Critic

Sep 13, 2018

Accounts

View all 8 accounts

Mathematics

3,495
1
7
8

Computer Science

2,609
1
9
14

Proof Assistants

Theoretical Computer Science

MathOverflow

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

upvotes

downvotes

question votes

answer votes

User feed

Stack Exchange Network

Summary

Top tag

Next privilege

Newest

Next badge

Answers

Questions

Tags

Reputation

Badges

Accounts

Active bounties (0)

Votes cast