Mostly about proof assistants, but type systems are fundamentally related https://mathoverflow.net/questions/376839/what-makes-dependent-type-theory-more-suitab

Mostly about proof assistants, but type systems are fundamentally related https://mathoverflow.net/questions/376839/what-makes-dependent-type-theory-more-suitable-than-set-theory-for-proof-assista https://mathoverflow.net/questions/376839/what-makes-depende...