Related Tags
curry-howard × 13type-theory × 8
lo.logic × 5
typed-lambda-calculus × 3
pl.programming-languages × 2
dependent-type × 2
proof-theory × 2
continuations × 2
lambda-calculus × 1
automated-theorem-proving × 1
set-theory × 1
first-order-logic × 1
constructive-mathematics × 1
natural-deduction × 1