Related Tags
curry-howard × 10type-theory × 6
lo.logic × 3
dependent-type × 2
typed-lambda-calculus × 2
pl.programming-languages × 1
lambda-calculus × 1
automated-theorem-proving × 1
proof-theory × 1
set-theory × 1
constructive-mathematics × 1
continuations × 1