No hot answers found
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
homotopy-type-theory × 18type-theory × 12
lambda-calculus × 3
ct.category-theory × 3
dependent-type × 3
proof-assistants × 3
reference-request × 2
lo.logic × 2
type-systems × 2
proof-theory × 2
inductive-type × 2
soft-question × 1
boolean-functions × 1
application-of-theory × 1
coq × 1
calculus-of-constructions × 1
modal-logic × 1
equivalence × 1
agda × 1