1 result for '"Michael J. C. Gordon"'

This book explains how to formally describe programming languages using the techniques of denotational semantics. The presentation is designed primarily for computer science students rather than for...