Title: Algebraic Approaches to Program Semantics
Description: Formal description of control, recursion and data structures using two semantic descriptions: denotational and partially additive.
Subjects: Logic design, Computer science, Artificial intelligence, Programming languages (electronic computers)