No hot answers found
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
dependent-types × 118type-theory × 87
programming-languages × 13
lambda-calculus × 13
functional-programming × 13
homotopy-type-theory × 12
inductive-datatypes × 11
type-checking × 10
coq × 9
reference-request × 8
type-inference × 7
agda × 7
proof-assistants × 6
equality × 5
logic × 4
category-theory × 4
calculus-of-constructions × 4
computability × 3
terminology × 3
undecidability × 3
curry-howard × 3
semantics × 2
induction × 2
hoare-logic × 2
typing × 2