Related Tags
type-theory × 361dependent-type × 92
lo.logic × 88
pl.programming-languages × 75
lambda-calculus × 69
type-systems × 45
type-inference × 33
reference-request × 32
typed-lambda-calculus × 27
calculus-of-constructions × 24
ct.category-theory × 23
coq × 23
functional-programming × 20
homotopy-type-theory × 20
proof-theory × 16
proof-assistants × 13
polymorphism × 10
automated-theorem-proving × 9
computability × 8
curry-howard × 8
set-theory × 7
linear-logic × 7
normalization × 7
constructive-mathematics × 7
agda × 7