Algebraic Approaches to Program Semantics
by
About this book
Formal description of control, recursion and data structures using two semantic descriptions: denotational and partially additive.
Details
OpenLibrary
OL19825374W
Source
OpenLibrary
Community Reviews
Sign in to rate and review this book
Sign inNo reviews yet. The silence is deafening. Be the main character and write one.