Cuasicategorías Cerradas Localmente Cartesianas de la Teoría de Tipos