Explore la construction et les propriétés des morphismes, en mettant l'accent sur les diviseurs efficaces, l'isomorphisme des semi-groupes, et la relation entre les gerbes et les espaces factoriels.
Explore les boucles de programmation en C pour la répétition de code, les sorties précoces et le contrôle d'itération, avec des exemples tels que le summing des nombres et la recherche factorielle.
Couvre la définition d'un langage de programmation simple et sa sémantique à grande échelle, y compris les expressions arithmétiques et les commandes impératives.
Couvre la mise en œuvre de fonctions récursives à l'aide de substitutions et d'environnements, montrant la capacité d'exécuter des fonctions calculables.
Se concentre sur la mise en œuvre d'un vérificateur de type pour Amy, couvrant l'analyse des noms et des types, la génération de contraintes de frappe et l'importance de la vérification de type dans la compilation.
