Related Tags
lo.logic × 503type-theory × 88
cc.complexity-theory × 75
reference-request × 70
pl.programming-languages × 59
lambda-calculus × 57
computability × 48
proof-theory × 28
descriptive-complexity × 24
sat × 23
proof-complexity × 21
automated-theorem-proving × 20
finite-model-theory × 20
dependent-type × 19
model-checking × 19
automata-theory × 18
temporal-logic × 18
ct.category-theory × 17
proof-assistants × 17
coq × 16
type-systems × 13
linear-logic × 13
ds.algorithms × 12
soft-question × 12
program-verification × 12