The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Read More
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Read Less
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2010
Language:
English
Alibris ID:
17383460875
Shipping Options:
Standard Shipping: $4.87
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. 384 p. Texts in Theoretical Computer Science. An EATCS Series . 89 Illustrations, black and white; XIV, 384 p. 89 illus. Intended for professional and scholarly audience.
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2010
Language:
English
Alibris ID:
10538072284
Shipping Options:
Standard Shipping: $4.87
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. 384 p. Texts in Theoretical Computer Science. An EATCS Series . 89 Illustrations, black and white; XIV, 384 p. 89 illus. Intended for professional and scholarly audience.