curry-howard

5 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why is sum-type a disjunction in the Curry-Howard correspondence?
user_153928150
•
1
1
44
curry-howard category-theory
If Either can be either Left or Right but not both, then why does it correspond to OR instead of XOR in Curry-Howard correspondence?
user_58252940
•
9
3
436
curry-howard category-theory boolean-logic functional-programming haskell
What type corresponds to a xor b in type theory?
user_58252940
•
13
1
312
curry-howard category-theory functional-programming haskell
Curry's paradox in Haskell?
user_21084770
•
6
1
195
curry-howard logic recursion haskell
How to prove the principle of explosion (ex falso sequitur quodlibet) in Scala?
user_45279340
•
5
2
430
type-level-computation curry-howard proof scala
  • 1
Hot Questions