Couvre la sémantique des langages de programmation, en se concentrant sur le langage Add et le rôle des règles de réécriture et des machines CK dans la compréhension du sens.
Introduit Iris, un cadre logique pour raisonner sur la sécurité et l'exactitude des programmes impératifs d'ordre supérieur simultanés, en mettant l'accent sur ses caractéristiques et applications uniques.
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.
Couvre la structure métrique, les définitions des hauteurs, la construction d'échelles, les différences interculturelles et les principes cognitifs en musicologie.
Explore la tonalité, les profils de tangage, la distance clé et l'analyse statistique des classes de tangage, en utilisant des espaces de tangage pour analyser les distributions de tangage et le Tonnetz pour une tonalité différente.
Explore les ondes sonores, le timbre et la composition musicale à travers les œuvres de Stockhausen et Penderecki, en analysant les sons harmoniques et inharmoniques.
S'insère dans la structuration musicale par la hiérarchie, la répétition et la formation de principes, illustrant la cohérence et l'organisation des pièces musicales.