Related Tags
constructive-mathematics × 25type-theory × 7
lo.logic × 6
cc.complexity-theory × 3
lambda-calculus × 3
proof-theory × 3
reference-request × 2
computability × 2
pl.programming-languages × 2
functional-programming × 2
coq × 2
calculus-of-constructions × 2
intuition × 2
ds.algorithms × 1
graph-theory × 1
soft-question × 1
sat × 1
lower-bounds × 1
big-picture × 1
dependent-type × 1
graph-colouring × 1
ct.category-theory × 1
nt.number-theory × 1
decidability × 1
upper-bounds × 1