Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Properties of Datatypes -- 4. Basic Category Theory for Models of Syntax -- 5. A Mathematical Semantics...”