Related Tags
homotopy-type-theory × 27type-theory × 20
dependent-type × 6
lambda-calculus × 4
ct.category-theory × 3
proof-assistants × 3
reference-request × 2
lo.logic × 2
type-systems × 2
coq × 2
proof-theory × 2
inductive-type × 2
soft-question × 1
boolean-functions × 1
application-of-theory × 1
topology × 1
calculus-of-constructions × 1
modal-logic × 1
agda × 1
equivalence × 1
extensionality × 1
homomorphism × 1