Domains and Lambda-Calculi

By Roberto M. Amadio, Pierre-Louis Curien


Domains and Lambda-Calculi
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.


Rating:

Go back