Explore Books on
sémantique dénotationnelle

Elements of functional programming

By Chris Reade

Introduction à la théorie des langages de programmation

By Bertrand Meyer

Logic of domains

By Guo-Qiang Zhang

Mathematical foundations of programming semantics

By Austin Melton