Erkunden Sie in „Pattern Calculus: Computing with Functions and Structures“ die elegante Verbindung von Funktionsdefinitionen, Mustern und strukturellen Transformationen – ein unverzichtbarer Leitfaden für theoretische Informatiker, die komplexe Berechnungen präzise modellieren wollen.