By Roberto M. Amadio, Pierre-Louis Curien
Isbn10: | 0521622778 |
Isbn13: | 9780521622776 |
Publisher: | Cambridge University Press |
Published: | 1998-07-02 |
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.