This page has moved to https://ipld.io/design/concepts/type-theory-glossary/. You will be redirected in 5 seconds.