Related Tags
lo.logic × 544type-theory × 96
cc.complexity-theory × 81
reference-request × 75
pl.programming-languages × 60
lambda-calculus × 60
computability × 51
proof-theory × 29
sat × 26
proof-complexity × 25
descriptive-complexity × 24
dependent-type × 21
automata-theory × 20
automated-theorem-proving × 20
model-checking × 20
finite-model-theory × 20
temporal-logic × 19
proof-assistants × 18
ct.category-theory × 17
coq × 16
type-systems × 14
linear-logic × 14
soft-question × 13
first-order-logic × 13
ds.algorithms × 12