Explore le sous-typage, le calcul de type et le calcul de limites de type dans un système avec sous-typage, guidant à travers des exercices et des preuves étape par étape.
Couvre les pouvoirs, les racines, les règles de calcul, les fonctions logarithmiques, les fonctions réciproques, les ensembles et les notations de base.
