Abstract Computing Machines: A Lambda Calculus PerspectiveThe book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. |
Abstract Computing Machines: A Lambda Calculus PerspectiveThe book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. |