curry-howard Questions
0 | Last 7 Days | 0% unanswered |
1 | Last 30 Days | 0% unanswered |
16 | All Time | 37.5% unanswered |
Related Tags
curry-howard × 16type-theory × 8
lo.logic × 6
typed-lambda-calculus × 3
pl.programming-languages × 2
lambda-calculus × 2
dependent-type × 2
proof-theory × 2
continuations × 2
gt.game-theory × 1
semantics × 1
automated-theorem-proving × 1
set-theory × 1
first-order-logic × 1
constructive-mathematics × 1
two-player-games × 1
natural-deduction × 1