Related Tags
type-theory × 297lo.logic × 84
pl.programming-languages × 71
lambda-calculus × 64
dependent-type × 63
type-systems × 41
type-inference × 32
reference-request × 25
functional-programming × 20
ct.category-theory × 20
coq × 19
calculus-of-constructions × 19
typed-lambda-calculus × 18
proof-theory × 14
homotopy-type-theory × 11
proof-assistants × 10
polymorphism × 10
computability × 8
automated-theorem-proving × 8
linear-logic × 6
constructive-mathematics × 6
soft-question × 5
set-theory × 5
haskell × 5
normalization × 5
