Related Tags
proof-theory × 57lo.logic × 29
type-theory × 17
reference-request × 9
pl.programming-languages × 7
proof-complexity × 7
lambda-calculus × 5
sequent-calculus × 5
cc.complexity-theory × 3
computability × 3
sat × 3
ct.category-theory × 3
coq × 3
proof-assistants × 3
halting-problem × 3
constructive-mathematics × 3
resolution × 3
proofs × 2
typed-lambda-calculus × 2
homotopy-type-theory × 2
normalization × 2
first-order-logic × 2
agda × 2
curry-howard × 2
fixed-points × 2