dependent-type Questions
0 | Last 7 Days | 0% unanswered |
1 | Last 30 Days | 0% unanswered |
82 | All Time | 15.9% unanswered |
Related Tags
dependent-type × 82type-theory × 64
lo.logic × 17
pl.programming-languages × 17
lambda-calculus × 14
type-systems × 11
reference-request × 10
coq × 10
typed-lambda-calculus × 8
calculus-of-constructions × 7
proof-assistants × 5
agda × 5
functional-programming × 4
ct.category-theory × 4
type-inference × 3
homotopy-type-theory × 3
program-verification × 2
inductive-type × 2
pr.probability × 1
automated-theorem-proving × 1
proof-theory × 1
denotational-semantics × 1
compilers × 1
formal-methods × 1
recursion × 1