curry-howard Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
36 | All Time | 27.8% unanswered |
Top curry-howard Answerers
Last 30 Days
Top curry-howard Askers
Last 30 Days
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
curry-howard × 36type-theory × 19
logic × 11
lambda-calculus × 6
functional-programming × 5
first-order-logic × 3
proof-assistants × 3
haskell × 3
proof-techniques × 2
correctness-proof × 2
propositional-logic × 2
mathematical-foundations × 2
dependent-types × 2
type-checking × 2
type-inference × 2
coq × 2
computational-linguistics × 2
continuations × 2
formal-languages × 1
computability × 1
reference-request × 1
programming-languages × 1
recursion × 1
computation-models × 1
constraint-satisfaction × 1