Related Tags
lo.logic × 467type-theory × 81
cc.complexity-theory × 67
reference-request × 61
pl.programming-languages × 58
lambda-calculus × 56
computability × 43
proof-theory × 25
sat × 22
descriptive-complexity × 22
proof-complexity × 20
automated-theorem-proving × 20
automata-theory × 19
dependent-type × 17
model-checking × 17
finite-model-theory × 17
ct.category-theory × 16
temporal-logic × 16
coq × 15
proof-assistants × 14
type-systems × 13
linear-logic × 13
ds.algorithms × 12
program-verification × 12
linear-temporal-logic × 12
