Explore Books on
sémantique langage programmation

Initial computability, algebraic specifications, and partial algebras

By Horst Reichel

Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings

By Kesav V. Nori

Programmer avec Scheme

By Jacques Chazarain

Categories, types, and structures

By Andrea Asperti

Logic of domains

By Guo-Qiang Zhang

Mathematical foundations of programming semantics

By Austin Melton