Abstract Computing Machines

Abstract Computing Machines


Price: [price_with_discount]
(as of [price_update_date] – Details)

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.



There are no reviews yet.

Be the first to review “Abstract Computing Machines”

Your email address will not be published. Required fields are marked *