type (type theory)

1. REDIRECT Type theory#Basics

{{Redirect category shell|

{{Redirect to section}}

{{Redirect from subtopic}}

}}