extensional type theory

1. REDIRECT Intuitionistic type theory#Extensional versus intensional {{R with possibilities}}

Category:Type theory