The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Abstract Computing Machines
📄 Viewing lite version
Full site ›
⌛ 🇫🇷 France pricing being fetched…
Prices will appear once fetched — usually within a few minutes.
View in:
🇺🇸 USA
Book Details
Author(s)Werner Kluge
PublisherSpringer
ISBN / ASIN3540211462
ISBN-139783540211464
MarketplaceFrance 🇫🇷