Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)

Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)

by RobertoM.Amadio (Author), Pierre-LouisCurien (Author)

Synopsis

Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.

$179.50

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 504
Publisher: Cambridge University Press
Published: 02 Jul 1998

ISBN 10: 0521622778
ISBN 13: 9780521622776