Related Tags
type-theory × 262lo.logic × 81
pl.programming-languages × 64
lambda-calculus × 57
dependent-type × 52
type-systems × 38
type-inference × 31
reference-request × 22
functional-programming × 20
ct.category-theory × 18
coq × 15
typed-lambda-calculus × 14
proof-theory × 13
calculus-of-constructions × 13
homotopy-type-theory × 9
polymorphism × 9
proof-assistants × 8
computability × 7
automated-theorem-proving × 6
linear-logic × 6
constructive-mathematics × 6
soft-question × 5
normalization × 5
curry-howard × 5
algebra × 4
