Abstract data types -- foundational perspective

Mathematical models -- types as constraints


slide: Mathematical models for types