Related Tags
homotopy-type-theory × 23type-theory × 16
dependent-type × 4
lambda-calculus × 3
ct.category-theory × 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
topology × 1
calculus-of-constructions × 1
modal-logic × 1
agda × 1
equivalence × 1
stone-duality × 1