Author: Roberto M. Amadio
Publisher: Cambridge University Press
ISBN: 0521622778
Category : Computers
Languages : en
Pages : 504
Book Description
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.