No hot answers found
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
calculus-of-constructions × 34type-theory × 23
dependent-type × 10
coq × 9
lambda-calculus × 7
type-systems × 5
typed-lambda-calculus × 4
lo.logic × 3
pl.programming-languages × 3
normalization × 3
complexity-classes × 1
computability × 1
reductions × 1
decidability × 1
proof-theory × 1
type-inference × 1
linear-logic × 1
homotopy-type-theory × 1
constructive-mathematics × 1
combinatory-logic × 1
model-theory × 1
agda × 1
polymorphism × 1
sequent-calculus × 1
inductive-type × 1